Agda Info

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)

Binary Packages

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

Bugs

Install Failures