There actually is an F-Droid repo now for Ironfox, which I think I accidentally found in the repo list of NeoStore (another F-Droid client.) Link is also on gitlab:

https://gitlab.com/ironfox-oss/IronFox https://fdroid.ironfoxoss.org/fdroid/repo/index.html