Agda was added to epel10 repo on 2025-05-07
Page updated: 2025-05-08 12:49
Repo Status -
Overall Status
Source NVR: Agda-2.6.4.3-50.el10_0 (2025-05-07)
| Agda | Agda-2.6.4.3-50.el10_0 |
| Agda-common | Agda-common-2.6.4.3-50.el10_0 |
| ghc-Agda | ghc-Agda-2.6.4.3-50.el10_0 |
| ghc-Agda-devel | ghc-Agda-devel-2.6.4.3-50.el10_0 |
| ghc-Agda-doc | ghc-Agda-doc-2.6.4.3-50.el10_0 |
| ghc-Agda-prof | ghc-Agda-prof-2.6.4.3-50.el10_0 |
| ghc-murmur-hash | ghc-murmur-hash-0.1.0.10-50.el10_0 |
| ghc-murmur-hash-devel | ghc-murmur-hash-devel-0.1.0.10-50.el10_0 |
| ghc-murmur-hash-doc | ghc-murmur-hash-doc-0.1.0.10-50.el10_0 |
| ghc-murmur-hash-prof | ghc-murmur-hash-prof-0.1.0.10-50.el10_0 |
| ghc-peano | ghc-peano-0.1.0.2-50.el10_0 |
| ghc-peano-devel | ghc-peano-devel-0.1.0.2-50.el10_0 |
| ghc-peano-doc | ghc-peano-doc-0.1.0.2-50.el10_0 |
| ghc-peano-prof | ghc-peano-prof-0.1.0.2-50.el10_0 |
| ghc-vector-hashtables | ghc-vector-hashtables-0.1.2.0-50.el10_0 |
| ghc-vector-hashtables-devel | ghc-vector-hashtables-devel-0.1.2.0-50.el10_0 |
| ghc-vector-hashtables-doc | ghc-vector-hashtables-doc-0.1.2.0-50.el10_0 |
| ghc-vector-hashtables-prof | ghc-vector-hashtables-prof-0.1.2.0-50.el10_0 |