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

1

Search results for Agda-2.3.0.1-6.fc19.s390.rpm :

Filename	Distribution	File size
Agda-2.3.0.1-6.fc19.s390.rpm	Fedora 19	8975 kB
Agda-2.3.0.1-6.fc19.s390.rpm	Fedora 20	8975 kB
Agda-2.3.0.1-6.fc19.s390.rpm	Fedora 22	8975 kB
Agda-2.3.0.1-6.fc19.s390.rpm	Fedora 23	8975 kB

1