BDEPEND=emacs? ( >=app-editors/emacs-23.1:* ) app-text/dos2unix
DEFINED_PHASES=compile configure install postinst postrm prepare setup test
DEPEND=>=dev-haskell/aeson-1.1.2.0:=[profile?] <dev-haskell/aeson-2.3:=[profile?] >=dev-haskell/ansi-terminal-0.9:=[profile?] <dev-haskell/ansi-terminal-1.2:=[profile?] >=dev-haskell/async-2.2:=[profile?] <dev-haskell/async-2.3:=[profile?] >=dev-haskell/blaze-html-0.8:=[profile?] <dev-haskell/blaze-html-0.10:=[profile?] >=dev-haskell/boxes-0.1.3:=[profile?] <dev-haskell/boxes-0.2:=[profile?] >=dev-haskell/case-insensitive-1.2.0.4:=[profile?] <dev-haskell/case-insensitive-1.3:=[profile?] >=dev-haskell/data-hash-0.2.0.0:=[profile?] <dev-haskell/data-hash-0.3:=[profile?] >=dev-haskell/dlist-0.8:=[profile?] <dev-haskell/dlist-1.1:=[profile?] >=dev-haskell/edit-distance-0.2.1.2:=[profile?] <dev-haskell/edit-distance-0.3:=[profile?] >=dev-haskell/equivalence-0.3.2:=[profile?] <dev-haskell/equivalence-0.5:=[profile?] >=dev-haskell/gitrev-1.3.1:=[profile?] <dev-haskell/gitrev-2:=[profile?] >=dev-haskell/hashable-1.2.1.0:=[profile?] <dev-haskell/hashable-1.5:=[profile?] >=dev-haskell/haskeline-0.7.4.3:=[profile?] <dev-haskell/haskeline-0.9:=[profile?] >=dev-haskell/monad-control-1.0.1.0:=[profile?] <dev-haskell/monad-control-1.1:=[profile?] >=dev-haskell/murmur-hash-0.1:=[profile?] <dev-haskell/murmur-hash-0.2:=[profile?] >=dev-haskell/parallel-3.2.2.0:=[profile?] <dev-haskell/parallel-3.3:=[profile?] >=dev-haskell/peano-0.1.0.1:=[profile?] <dev-haskell/peano-0.2:=[profile?] >=dev-haskell/regex-tdfa-1.3.1.0:=[profile?] <dev-haskell/regex-tdfa-1.4:=[profile?] >=dev-haskell/split-0.2.0.0:=[profile?] <dev-haskell/split-0.3:=[profile?] >=dev-haskell/stmonadtrans-0.4.3:=[profile?] <dev-haskell/stmonadtrans-0.5:=[profile?] >=dev-haskell/strict-0.4.0.1:=[profile?] <dev-haskell/strict-0.6:=[profile?] >=dev-haskell/text-1.2.3.1:=[profile?] <dev-haskell/text-2.2:=[profile?] >=dev-haskell/time-compat-1.9.2:=[profile?] <dev-haskell/time-compat-1.10:=[profile?] >=dev-haskell/unordered-containers-0.2.9.0:=[profile?] <dev-haskell/unordered-containers-0.3:=[profile?] >=dev-haskell/uri-encode-1.5.0.4:=[profile?] <dev-haskell/uri-encode-1.6:=[profile?] >=dev-haskell/vector-0.12:=[profile?] <dev-haskell/vector-0.14:=[profile?] >=dev-haskell/vector-hashtables-0.1.1.1:=[profile?] <dev-haskell/vector-hashtables-0.2:=[profile?] >=dev-haskell/zlib-0.6:=[profile?] <dev-haskell/zlib-0.8:=[profile?] >=dev-lang/ghc-9.0.2:= enable-cluster-counting? ( >=dev-haskell/text-icu-0.7.1.0:=[profile?] ) emacs? ( >=app-editors/emacs-23.1:* app-emacs/haskell-mode ) >=dev-haskell/alex-3.2.3 >=dev-haskell/cabal-3.4.1.0 <dev-haskell/cabal-3.11 >=dev-haskell/happy-1.19.8 cpphs? ( dev-haskell/cpphs ) hscolour? ( dev-haskell/hscolour )
DESCRIPTION=A dependently typed functional programming language and proof assistant
EAPI=8
HOMEPAGE=https://wiki.portal.chalmers.se/agda/
IUSE=cpphs debug emacs enable-cluster-counting optimise-heavily +stdlib doc hscolour hoogle profile
KEYWORDS=~amd64
LICENSE=MIT
PDEPEND=stdlib? ( ~sci-mathematics/agda-stdlib-2.6.4.3.2.0 )
RDEPEND=>=dev-haskell/aeson-1.1.2.0:=[profile?] <dev-haskell/aeson-2.3:=[profile?] >=dev-haskell/ansi-terminal-0.9:=[profile?] <dev-haskell/ansi-terminal-1.2:=[profile?] >=dev-haskell/async-2.2:=[profile?] <dev-haskell/async-2.3:=[profile?] >=dev-haskell/blaze-html-0.8:=[profile?] <dev-haskell/blaze-html-0.10:=[profile?] >=dev-haskell/boxes-0.1.3:=[profile?] <dev-haskell/boxes-0.2:=[profile?] >=dev-haskell/case-insensitive-1.2.0.4:=[profile?] <dev-haskell/case-insensitive-1.3:=[profile?] >=dev-haskell/data-hash-0.2.0.0:=[profile?] <dev-haskell/data-hash-0.3:=[profile?] >=dev-haskell/dlist-0.8:=[profile?] <dev-haskell/dlist-1.1:=[profile?] >=dev-haskell/edit-distance-0.2.1.2:=[profile?] <dev-haskell/edit-distance-0.3:=[profile?] >=dev-haskell/equivalence-0.3.2:=[profile?] <dev-haskell/equivalence-0.5:=[profile?] >=dev-haskell/gitrev-1.3.1:=[profile?] <dev-haskell/gitrev-2:=[profile?] >=dev-haskell/hashable-1.2.1.0:=[profile?] <dev-haskell/hashable-1.5:=[profile?] >=dev-haskell/haskeline-0.7.4.3:=[profile?] <dev-haskell/haskeline-0.9:=[profile?] >=dev-haskell/monad-control-1.0.1.0:=[profile?] <dev-haskell/monad-control-1.1:=[profile?] >=dev-haskell/murmur-hash-0.1:=[profile?] <dev-haskell/murmur-hash-0.2:=[profile?] >=dev-haskell/parallel-3.2.2.0:=[profile?] <dev-haskell/parallel-3.3:=[profile?] >=dev-haskell/peano-0.1.0.1:=[profile?] <dev-haskell/peano-0.2:=[profile?] >=dev-haskell/regex-tdfa-1.3.1.0:=[profile?] <dev-haskell/regex-tdfa-1.4:=[profile?] >=dev-haskell/split-0.2.0.0:=[profile?] <dev-haskell/split-0.3:=[profile?] >=dev-haskell/stmonadtrans-0.4.3:=[profile?] <dev-haskell/stmonadtrans-0.5:=[profile?] >=dev-haskell/strict-0.4.0.1:=[profile?] <dev-haskell/strict-0.6:=[profile?] >=dev-haskell/text-1.2.3.1:=[profile?] <dev-haskell/text-2.2:=[profile?] >=dev-haskell/time-compat-1.9.2:=[profile?] <dev-haskell/time-compat-1.10:=[profile?] >=dev-haskell/unordered-containers-0.2.9.0:=[profile?] <dev-haskell/unordered-containers-0.3:=[profile?] >=dev-haskell/uri-encode-1.5.0.4:=[profile?] <dev-haskell/uri-encode-1.6:=[profile?] >=dev-haskell/vector-0.12:=[profile?] <dev-haskell/vector-0.14:=[profile?] >=dev-haskell/vector-hashtables-0.1.1.1:=[profile?] <dev-haskell/vector-hashtables-0.2:=[profile?] >=dev-haskell/zlib-0.6:=[profile?] <dev-haskell/zlib-0.8:=[profile?] >=dev-lang/ghc-9.0.2:= enable-cluster-counting? ( >=dev-haskell/text-icu-0.7.1.0:=[profile?] ) emacs? ( >=app-editors/emacs-23.1:* app-emacs/haskell-mode ) dev-lang/ghc:=[profile?]
SLOT=0/2.6.4.3
SRC_URI=https://hackage.haskell.org/package/Agda-2.6.4.3/Agda-2.6.4.3.tar.gz -> agda-2.6.4.3.tar.gz
_eclasses_=elisp-common	abb2dda42f680fce87602c8273f832c7	ghc-package	94e9e8c87736070ff088bc34d0f45f7c	haskell-cabal	91c151c7c4674cac3cf13313d653e1f3	multilib	b2a329026f2e404e9e371097dda47f96	multiprocessing	1e32df7deee68372153dca65f4a7c21f	toolchain-funcs	d3d42b22a610ce81c267b644bcec9b87
_md5_=80c065e69d1da7e68849be96f80b2849