Agda was added to epel9 repo on 2022-09-06
Page updated: 2024-11-17 19:52
Repo Status -
Overall Status
Source NVR: Agda-2.6.2.2-36.el9 (2022-09-06)
| Agda | Agda-2.6.2.2-36.el9 |
| Agda-common | Agda-common-2.6.2.2-36.el9 |
| ghc-Agda | ghc-Agda-2.6.2.2-36.el9 |
| ghc-Agda-devel | ghc-Agda-devel-2.6.2.2-36.el9 |
| ghc-Agda-doc | ghc-Agda-doc-2.6.2.2-36.el9 |
| ghc-Agda-prof | ghc-Agda-prof-2.6.2.2-36.el9 |
| ghc-geniplate-mirror | ghc-geniplate-mirror-0.7.8-36.el9 |
| ghc-geniplate-mirror-devel | ghc-geniplate-mirror-devel-0.7.8-36.el9 |
| ghc-geniplate-mirror-doc | ghc-geniplate-mirror-doc-0.7.8-36.el9 |
| ghc-geniplate-mirror-prof | ghc-geniplate-mirror-prof-0.7.8-36.el9 |
| ghc-murmur-hash | ghc-murmur-hash-0.1.0.10-36.el9 |
| ghc-murmur-hash-devel | ghc-murmur-hash-devel-0.1.0.10-36.el9 |
| ghc-murmur-hash-doc | ghc-murmur-hash-doc-0.1.0.10-36.el9 |
| ghc-murmur-hash-prof | ghc-murmur-hash-prof-0.1.0.10-36.el9 |