Not enough search parameters. I'm using defaults.
You have chosen search in content of rpms.
Display 1 - 3 hits of 3. Search took 0.00 seconds.
Search results for
ghc-devel(copilot-theorem-3.19.1-5xBVUx8ZMum8TmUpbPsRA6) :
Rawhide | /vol/rzm3/linux-fedora-buffet/fedora/linux/development/rawhide/Everything/x86_64/os/Packages/g/ghc-copilot-theorem-devel-3.19.1-2.fc42.x86_64.rpm |
Fedora Other | /vol/rzm3/linux-fedora-buffet/fedora/linux/development/41/Everything/x86_64/os/Packages/g/ghc-copilot-theorem-devel-3.19.1-2.fc41.x86_64.rpm |
Fedora Other | /vol/rzm3/linux-fedora-buffet/fedora/linux/updates/testing/41/Everything/x86_64/Packages/g/ghc-copilot-theorem-devel-3.19.1-2.fc41.x86_64.rpm |