Agda was added to epel7 repo on 2014-04-21
Page updated: 2023-11-21 11:36
Repo Status -
Overall Status
Source NVR: Agda-2.3.2.2-5.el7 (2017-01-11)
| Agda | Agda-2.3.2.2-5.el7 |
| emacs-agda | emacs-agda-2.3.2.2-5.el7 |
| emacs-agda-el | emacs-agda-el-2.3.2.2-5.el7 |
| ghc-Agda | ghc-Agda-2.3.2.2-5.el7 |
| ghc-Agda-devel | ghc-Agda-devel-2.3.2.2-5.el7 |