| DEFINED_PHASES=compile install postinst postrm unpack |
| DEPEND=emacs? ( virtual/emacs app-emacs/haskell-mode ) dev-lang/ghc dev-haskell/mtl |
| DESCRIPTION=Proof assistant in Haskell |
| HOMEPAGE=http://unit.aist.go.jp/cvs/Agda/ |
| IUSE=emacs |
| KEYWORDS=~amd64 ~x86 |
| LICENSE=MIT |
| RDEPEND=emacs? ( virtual/emacs app-emacs/haskell-mode ) |
| SLOT=0 |
| SRC_URI=mirror://sourceforge/agda/Agda-1.0.2.tar.gz |
| _eclasses_=elisp-common 3322f14f031ddc95feccd9089c9adc59 eutils c89e7605f1414fa0f33eae391db1b5d3 multilib d9b509f8ec69d5fd4789bd320d50e6d0 portability 0be430f759a631e692678ed796e09f5c toolchain-funcs 39ac4a2f99e342286758b5e753f4fb8b |
| _md5_=d323a734c0d4022dbe339d09d63d1cd8 |
