DEFINED_PHASES=compile configure install postinst postrm prepare prerm setup test DEPEND=>=dev-haskell/binary-0.4.4[profile?] =dev-haskell/haskeline-0.6.3.2[profile?] =dev-haskell/haskell-src-exts-1.9.6[profile?] =dev-haskell/mtl-2.0[profile?] =dev-haskell/syb-0.1[profile?] =dev-haskell/zlib-0.4.0.1[profile?] =dev-lang/ghc-6.10.4 virtual/emacs app-emacs/haskell-mode dev-haskell/alex >=dev-haskell/cabal-1.8 dev-haskell/happy >=dev-haskell/cabal-1.1.4 DESCRIPTION=A dependently typed functional programming language and proof assistant EAPI=4 HOMEPAGE=http://wiki.portal.chalmers.se/agda/ IUSE=epic +stdlib profile KEYWORDS=~amd64 ~x86 LICENSE=MIT PDEPEND=stdlib? ( sci-mathematics/agda-stdlib ) RDEPEND=>=dev-haskell/binary-0.4.4[profile?] =dev-haskell/haskeline-0.6.3.2[profile?] =dev-haskell/haskell-src-exts-1.9.6[profile?] =dev-haskell/mtl-2.0[profile?] =dev-haskell/syb-0.1[profile?] =dev-haskell/zlib-0.4.0.1[profile?] =dev-lang/ghc-6.10.4 virtual/emacs app-emacs/haskell-mode SLOT=0 SRC_URI=mirror://hackage/packages/archive/Agda/2.3.0.1/Agda-2.3.0.1.tar.gz _eclasses_=elisp-common 21605c8f0b2a5ffa3233faeb3f9df309 eutils 816444638a8668da9da22466b302db84 ghc-package f8674c44668a01a8b05d66a7c140008b haskell-cabal a2a8de4cff4a18a175b08057c65a7c4d multilib ded93e450747134a079e647d888aa80b toolchain-funcs 69a2016af67775a812f4c03ba4b0e03e user d0a4d0735a6c0183d707ca919bd72f28 versionator 6601b4c5b3f019a993db59a50e1854e4 _md5_=a6f16a925d4bb60326e9a1e9628dd51d