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.01 seconds.

1

Search results for emacs-common-proofgeneral-4.1-1.fc18.src.rpm :

Filename	Distribution	File size
emacs-common-proofgeneral-4.1-1.fc18.src.rpm	Fedora 18	2996 kB
emacs-common-proofgeneral-4.1-1.fc18.src.rpm	Fedora 19	2996 kB

1