Yeah. For tor it works if you add armv7 in the filter release titles. Brave releases are a big mess, no luck trying to filter it out.
Discussion
I installed tor in Obtainium through the Guardian 3rd party fdroid repo. Obtainium supports any fdroid repo as well and can be used as an fdroid client replacement!
TIL 🧡
I don't see any files in the 3rd party repo
It's much easier:
1. Add the general url to the Guardian Fdroid Repo: https://guardianproject.info/fdroid/repo
2. Below where it says "Html source", click and change to " Third Party Fdroid Repository "
3. Write "tor browser" in the app name section
Thanks for the tip, I was trying different configs of filters with no luck but now it works.
And yes, Bravereleases are a mess, there is no way to figure out how they treat releases.
Interestingly if you download it from the 3rd party #F-Droid repo the version is 12.5.2 rather than 12.5.1