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

1

Search results for prover9-200911a-6.fc20.src.rpm :

Filename	Distribution	File size
prover9-200911a-6.fc20.src.rpm	Fedora 20	2791 kB
prover9-200911a-6.fc20.src.rpm	Fedora 21	2791 kB
prover9-200911a-6.fc20.src.rpm	Fedora 22	2791 kB

1