Not enough search parameters. I'm using defaults.
You have chosen search in content of rpms.
Display 1 - 1 hits of 1. Search took 0.00 seconds.
Search results for
libHSAgda-2.5.3-LXOnqfSnb1469ddTz3ZZXu-ghc8.2.2.so()(64bit) :
Fedora 28 | /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/28/Everything/x86_64/os/Packages/g/ghc-Agda-2.5.3-12.fc28.x86_64.rpm |