Agda was added to epel8 repo on 2025-10-07
Page updated: 2025-10-08 00:20
Repo Status -
Overall Status
Source NVR: Agda-2.5.3-14.el8 (2025-10-07)
| Agda | Agda-2.5.3-14.el8 |
| ghc-Agda | ghc-Agda-2.5.3-14.el8 |
| ghc-Agda-devel | ghc-Agda-devel-2.5.3-14.el8 |
| ghc-EdisonAPI | ghc-EdisonAPI-1.3.1-14.el8 |
| ghc-EdisonAPI-devel | ghc-EdisonAPI-devel-1.3.1-14.el8 |
| ghc-EdisonCore | ghc-EdisonCore-1.3.2.1-14.el8 |
| ghc-EdisonCore-devel | ghc-EdisonCore-devel-1.3.2.1-14.el8 |
| ghc-geniplate-mirror | ghc-geniplate-mirror-0.7.6-14.el8 |
| ghc-geniplate-mirror-devel | ghc-geniplate-mirror-devel-0.7.6-14.el8 |
| ghc-monadplus | ghc-monadplus-1.4.2-14.el8 |
| ghc-monadplus-devel | ghc-monadplus-devel-1.4.2-14.el8 |
| ghc-murmur-hash | ghc-murmur-hash-0.1.0.9-14.el8 |
| ghc-murmur-hash-devel | ghc-murmur-hash-devel-0.1.0.9-14.el8 |
| ghc-uri-encode | ghc-uri-encode-1.5.0.5-14.el8 |
| ghc-uri-encode-devel | ghc-uri-encode-devel-1.5.0.5-14.el8 |