In case somebody else is struggling to download IronFox for Android, I have extracted the universal apk, version 151.0.2.1, from my current install and uploaded it to buzzheavier. For me, neither Obtainium, F-Droid or direct download worked from their repos.

I'll leave it up for a week or so. Do verify integrity and authenticity as per: https://ironfoxoss.org/download/ , since I have no idea how secure buzzheavier is. I just use it as a simple anonymous file sharing platform.