Not enough search parameters. I'm using defaults.
You have chosen search in content of rpms.
Display 1 - 4 hits of 4. Search took 0.00 seconds.
Search results for
ghc(agda-lib-ffi-0.0.2-58853ecfb074a66b1defd29824319290) :
| Fedora 25 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/25/Everything/x86_64/os/Packages/a/Agda-stdlib-0.9-3.fc24.x86_64.rpm |
| Fedora 24 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/24/Everything/x86_64/os/Packages/a/Agda-stdlib-0.9-3.fc24.x86_64.rpm |
| Fedora 23 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/23/Everything/x86_64/os/Packages/a/Agda-stdlib-0.9-2.fc23.x86_64.rpm |
| Fedora 22 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/22/Everything/x86_64/os/Packages/a/Agda-stdlib-0.9-1.fc22.x86_64.rpm |
