Agda was added to epel8 repo on 2022-09-16
Page updated: 2024-11-18 04:13
Repo Status -
Overall Status
Source NVR: Agda-2.5.3-14.el8 (2022-09-16)
| 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 |