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

1

Search results for minisat2-2.0-9.20070721.fc12.src.rpm :

Filename	Distribution	File size
minisat2-2.0-9.20070721.fc12.src.rpm	Fedora 12	59 kB
minisat2-2.0-9.20070721.fc12.src.rpm	Fedora 12	59 kB
minisat2-2.0-9.20070721.fc12.src.rpm	Fedora 13	58 kB
minisat2-2.0-9.20070721.fc12.src.rpm	Fedora 13	59 kB
minisat2-2.0-9.20070721.fc12.src.rpm	Fedora 14	58 kB
minisat2-2.0-9.20070721.fc12.src.rpm	Fedora 14	59 kB

1