gentoo-overlay/metadata/cache/sci-mathematics/agda-1.0.2-r2

virtual/emacs app-emacs/haskell-mode dev-lang/ghc dev-haskell/mtl
virtual/emacs app-emacs/haskell-mode
0
mirror://sourceforge/agda/Agda-1.0.2.tar.gz

http://unit.aist.go.jp/cvs/Agda/
MIT
Proof assistant in Haskell
~amd64 ~x86
elisp-common eutils multilib portability toolchain-funcs user




2

configure install postinst postrm prepare