You have chosen search rpm in world FTP resources.
Not enough search parameters. I'm using defaults.
Display 1 - 1 hits of 1. Search took 0.00 seconds.

1

Search results for ghc-8.8.0.20190721-83.module_f31+5220+187d21df.src.rpm :

Filename	Distribution	File size
ghc-8.8.0.20190721-83.module_f31+5220+187d21df.src.rpm	Fedora 31	25820 kB

1