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

1

Search results for gappalib-coq-1.0.0-19.fc22.src.rpm :

Filename	Distribution	File size
gappalib-coq-1.0.0-19.fc22.src.rpm	Fedora 22	129 kB
gappalib-coq-1.0.0-19.fc22.src.rpm	Fedora 22	129 kB

1