You are here:
Show more informations from pkgdb
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 |