Not enough search parameters. I'm using defaults.
You have chosen search in content of rpms.
Display 1 - 2 hits of 2. Search took 0.00 seconds.
Search results for
ghc(Agda-2.3.0.1-860ebdf2c6f34a2a3d6cc112b836fe0d) :
Fedora 18 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/18/x86_64/ghc-Agda-2.3.0.1-9.fc18.x86_64.rpm |
Fedora 18 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/18/Everything/x86_64/os/Packages/g/ghc-Agda-2.3.0.1-7.fc18.x86_64.rpm |