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.
Search results for
ghc-Agda-2.3.0.1-9.fc18.src.rpm :
Filename | Distribution | File size | |
ghc-Agda-2.3.0.1-9.fc18.src.rpm | Fedora 18 | 605 kB | |
ghc-Agda-2.3.0.1-9.fc18.src.rpm | Fedora 18 | 605 kB | |