You are here:
Package: ghc-Agda
| Summary: | A dependently typed functional programming language and proof assistant |
|---|---|
| Description: | |
| URL: | http://hackage.haskell.org/package/Agda |
| Owner: | orphan (orphan) |
| Bugzilla: | Active bugs |
| Pagure: | https://src.fedoraproject.org/rpms/ghc-Agda |
| Koschei: | https://koschei.fedoraproject.org/package/ghc-Agda |
| Branch | Repository | Version-Release | Owner | Co-maintainers |
|---|---|---|---|---|
| EL-6 | epel-stable | 2.3.0.1-9.el6 | ||
| f19 | base | 2.3.0.1-10.fc19 | ||
| f18 | updates | 2.3.0.1-9.fc18 | ||
| base | 2.3.0.1-7.fc18 | |||
| f17 | updates | 2.3.0.1-9.fc17 | ||
| f16 | updates | 2.3.0.1-2.1.fc16 |