Search for rpm name in category: all RPMs.
Display 1 - 40 hits of 171. Search took 0.00 seconds.
| Fedora Other | /vol/rzm3/linux-fedora-buffet/fedora/linux/development/43/Everything/x86_64/os/Packages/a/Agda-2.8.0-56.fc43.x86_64.rpm |
| Rawhide | /vol/rzm3/linux-fedora-buffet/fedora/linux/development/rawhide/Everything/x86_64/os/Packages/a/Agda-2.8.0-56.fc43.x86_64.rpm |
| Fedora Other | /vol/rzm3/linux-fedora-buffet/fedora/linux/releases/43/Everything/x86_64/os/Packages/a/Agda-2.8.0-56.fc43.x86_64.rpm |
| Fedora Other | /vol/rzm3/linux-fedora-buffet/fedora/linux/releases/test/43_Beta/Everything/x86_64/os/Packages/a/Agda-2.8.0-56.fc43.x86_64.rpm |
| Fedora 42 | /vol/rzm3/linux-fedora-buffet/fedora/linux/development/42/Everything/x86_64/os/Packages/a/Agda-2.6.4.3-53.fc42.x86_64.rpm |
| Fedora 42 | /vol/rzm3/linux-fedora-buffet/fedora/linux/releases/test/42_Beta/Everything/x86_64/os/Packages/a/Agda-2.6.4.3-53.fc42.x86_64.rpm |
| Fedora 42 | /vol/rzm3/linux-fedora-buffet/fedora/linux/releases/42/Everything/x86_64/os/Packages/a/Agda-2.6.4.3-53.fc42.x86_64.rpm |
| Fedora 42 | /pbone/archive.fedoraproject.org/fedora/linux/releases/42/Everything/x86_64/os/Packages/a/Agda-2.6.4.3-53.fc42.x86_64.rpm |
| Fedora 41 | /vol/rzm3/linux-fedora-buffet/fedora/linux/development/41/Everything/x86_64/os/Packages/a/Agda-2.6.4.3-50.fc41.x86_64.rpm |
| Fedora 41 | /vol/rzm3/linux-fedora-buffet/fedora/linux/releases/41/Everything/x86_64/os/Packages/a/Agda-2.6.4.3-50.fc41.x86_64.rpm |
| Fedora 41 | /pbone/archive.fedoraproject.org/fedora/linux/releases/41/Everything/x86_64/os/Packages/a/Agda-2.6.4.3-50.fc41.x86_64.rpm |
| Fedora 41 | /vol/rzm3/linux-fedora-buffet/fedora/linux/releases/test/41_Beta/Everything/x86_64/os/Packages/a/Agda-2.6.4.3-50.fc41.x86_64.rpm |
| Fedora Other | /vol/rzm3/linux-fedora-buffet/epel/10.3/Everything/x86_64/Packages/a/Agda-2.6.4.3-50.el10_0.x86_64.rpm |
| Fedora Other | /pbone/archive.fedoraproject.org/epel/10.0z/Everything/x86_64/Packages/a/Agda-2.6.4.3-50.el10_0.x86_64.rpm |
| Fedora Other | /vol/rzm3/linux-fedora-buffet/epel/10.2/Everything/x86_64/Packages/a/Agda-2.6.4.3-50.el10_0.x86_64.rpm |
| Fedora Other | /pbone/archive.fedoraproject.org/epel/10.0/Everything/x86_64/Packages/a/Agda-2.6.4.3-50.el10_0.x86_64.rpm |
| Fedora Other | /pbone/archive.fedoraproject.org/epel/10.1/Everything/x86_64/Packages/a/Agda-2.6.4.3-50.el10_0.x86_64.rpm |
| Fedora Other | /vol/rzm3/linux-fedora-buffet/epel/10.1/Everything/x86_64/Packages/a/Agda-2.6.4.3-50.el10_0.x86_64.rpm |
| Fedora Other | /vol/rzm3/linux-fedora-buffet/epel/10.0/Everything/x86_64/Packages/a/Agda-2.6.4.3-50.el10_0.x86_64.rpm |
| Fedora 40 | /vol/rzm3/linux-fedora-buffet/fedora/linux/releases/40/Everything/x86_64/os/Packages/a/Agda-2.6.4.1-46.fc40.x86_64.rpm |
| Fedora 40 | /vol/rzm6/pbone/archive.fedoraproject.org/fedora/linux/releases/40/Everything/x86_64/os/Packages/a/Agda-2.6.4.1-46.fc40.x86_64.rpm |
| Fedora 40 | /pbone/archive.fedoraproject.org/fedora/linux/releases/40/Everything/x86_64/os/Packages/a/Agda-2.6.4.1-46.fc40.x86_64.rpm |
| Fedora 39 | /vol/rzm6/pbone/archive.fedoraproject.org/fedora/linux/releases/39/Everything/x86_64/os/Packages/a/Agda-2.6.3-40.fc39.x86_64.rpm |
| Fedora 39 | /pbone/archive.fedoraproject.org/fedora/linux/releases/39/Everything/x86_64/os/Packages/a/Agda-2.6.3-40.fc39.x86_64.rpm |
| Fedora 39 | /vol/rzm3/linux-fedora-buffet/fedora/linux/releases/39/Everything/x86_64/os/Packages/a/Agda-2.6.3-40.fc39.x86_64.rpm |
| Fedora 38 | /vol/rzm6/pbone/archive.fedoraproject.org/fedora/linux/releases/38/Everything/x86_64/os/Packages/a/Agda-2.6.2.2-38.fc38.x86_64.rpm |
| Fedora 38 | /pbone/archive.fedoraproject.org/fedora/linux/releases/38/Everything/x86_64/os/Packages/a/Agda-2.6.2.2-38.fc38.x86_64.rpm |
| Fedora 37 | /vol/pbone/archive.fedoraproject.org/fedora/linux/releases/37/Everything/x86_64/os/Packages/a/Agda-2.6.2.2-37.fc37.x86_64.rpm |
| Fedora 37 | /pbone/archive.fedoraproject.org/fedora/linux/releases/37/Everything/x86_64/os/Packages/a/Agda-2.6.2.2-37.fc37.x86_64.rpm |
| Fedora 37 | /vol/rzm6/pbone/archive.fedoraproject.org/fedora/linux/releases/37/Everything/x86_64/os/Packages/a/Agda-2.6.2.2-37.fc37.x86_64.rpm |
| Fedora Other | /pbone/archive.fedoraproject.org/epel/testing/9.4-2024-11-12/Everything/x86_64/Packages/a/Agda-2.6.2.2-36.el9.x86_64.rpm |
| RedHat EL 9 | /vol/rzm6/pbone/archive.fedoraproject.org/epel/9.5-2025-05-13/Everything/x86_64/Packages/a/Agda-2.6.2.2-36.el9.x86_64.rpm |
| RedHat EL 9 | /pbone/archive.fedoraproject.org/epel/9.4-2024-11-12/Everything/x86_64/Packages/a/Agda-2.6.2.2-36.el9.x86_64.rpm |
| RedHat EL 9 | /vol/rzm3/linux-fedora-buffet/epel/9/Everything/x86_64/Packages/a/Agda-2.6.2.2-36.el9.x86_64.rpm |
| Fedora Other | /pbone/archive.fedoraproject.org/epel/testing/9.5-2025-05-13/Everything/x86_64/Packages/a/Agda-2.6.2.2-36.el9.x86_64.rpm |
| RedHat EL 9 | /vol/pbone/archive.fedoraproject.org/epel/9.3-2024-04-30/Everything/x86_64/Packages/a/Agda-2.6.2.2-36.el9.x86_64.rpm |
| RedHat EL 9 | /vol/pbone/archive.fedoraproject.org/epel/9.1.2023-05-09/Everything/x86_64/Packages/a/Agda-2.6.2.2-36.el9.x86_64.rpm |
| RedHat EL 9 | /pbone/archive.fedoraproject.org/epel/9.7-2026-05-19/Everything/x86_64/Packages/a/Agda-2.6.2.2-36.el9.x86_64.rpm |
| Fedora Other | /vol/rzm6/pbone/archive.fedoraproject.org/epel/testing/9.5-2025-05-13/Everything/x86_64/Packages/a/Agda-2.6.2.2-36.el9.x86_64.rpm |
| Fedora Other | /vol/rzm6/pbone/archive.fedoraproject.org/epel/testing/9.4-2024-11-12/Everything/x86_64/Packages/a/Agda-2.6.2.2-36.el9.x86_64.rpm |
