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.4.7.1:=[profile?] <dev-haskell/aeson-2.3:=[profile?] >=dev-haskell/ansi-terminal-0.10.3:=[profile?] <dev-haskell/ansi-terminal-1.2:=[profile?] >=dev-haskell/async-2.2.2:=[profile?] <dev-haskell/async-2.3:=[profile?] >=dev-haskell/blaze-html-0.9.1.2:=[profile?] <dev-haskell/blaze-html-0.10:=[profile?] >=dev-haskell/boxes-0.1.5:=[profile?] <dev-haskell/boxes-0.2:=[profile?] >=dev-haskell/case-insensitive-1.2.1.0:=[profile?] <dev-haskell/case-insensitive-1.3:=[profile?] >=dev-haskell/data-hash-0.2.0.1:=[profile?] <dev-haskell/data-hash-0.3:=[profile?] >=dev-haskell/dlist-0.8.0.8:=[profile?] <dev-haskell/dlist-1.1:=[profile?] >=dev-haskell/edit-distance-0.2.2.1:=[profile?] <dev-haskell/edit-distance-0.3:=[profile?] >=dev-haskell/enummapset-0.6.0.3:=[profile?] <dev-haskell/enummapset-0.8:=[profile?] >=dev-haskell/equivalence-0.3.5:=[profile?] <dev-haskell/equivalence-0.5:=[profile?] >=dev-haskell/filelock-0.1.1.5:=[profile?] <dev-haskell/filelock-0.2:=[profile?] >=dev-haskell/filemanip-0.3.6.3:=[profile?] <dev-haskell/filemanip-0.4:=[profile?] >=dev-haskell/generic-data-0.9.2.0:=[profile?] <dev-haskell/generic-data-1.2:=[profile?] >=dev-haskell/gitrev-1.3.1:=[profile?] <dev-haskell/gitrev-2:=[profile?] >=dev-haskell/hashable-1.3.0.0:=[profile?] <dev-haskell/hashable-1.6:=[profile?] >=dev-haskell/haskeline-0.7.5.0:=[profile?] <dev-haskell/haskeline-0.9:=[profile?] >=dev-haskell/monad-control-1.0.2.3:=[profile?] <dev-haskell/monad-control-1.1:=[profile?] >=dev-haskell/murmur-hash-0.1.0.9:=[profile?] <dev-haskell/murmur-hash-0.2:=[profile?] >=dev-haskell/nonempty-containers-0.3.4.1:=[profile?] <dev-haskell/nonempty-containers-0.4:=[profile?] >=dev-haskell/parallel-3.2.2.0:=[profile?] <dev-haskell/parallel-3.4:=[profile?] >=dev-haskell/peano-0.1.0.1:=[profile?] <dev-haskell/peano-0.2:=[profile?] >=dev-haskell/pqueue-1.4.1.3:=[profile?] <dev-haskell/pqueue-1.7:=[profile?] >=dev-haskell/process-extras-0.7.4:=[profile?] <dev-haskell/process-extras-0.8:=[profile?] >=dev-haskell/regex-tdfa-1.3.1.0:=[profile?] <dev-haskell/regex-tdfa-1.4:=[profile?] >=dev-haskell/split-0.2.3.4:=[profile?] <dev-haskell/split-0.3:=[profile?] >=dev-haskell/stmonadtrans-0.4.5:=[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.4.0:=[profile?] <dev-haskell/text-2.2:=[profile?] >=dev-haskell/th-lift-instances-0.1.18:=[profile?] <dev-haskell/th-lift-instances-0.1.21:=[profile?] >=dev-haskell/unordered-containers-0.2.10.0:=[profile?] <dev-haskell/unordered-containers-0.3:=[profile?] >=dev-haskell/uri-encode-1.5.0.7:=[profile?] <dev-haskell/uri-encode-1.6:=[profile?] >=dev-haskell/vector-0.12.1.2:=[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.2.2:=[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?] <dev-haskell/text-icu-0.9:=[profile?] ) emacs? ( >=app-editors/emacs-23.1:* app-emacs/haskell-mode ) >=dev-haskell/alex-3.2.5 >=dev-haskell/cabal-3.4.1.0 >=dev-haskell/happy-1.19.12 hscolour? ( dev-haskell/hscolour )
DESCRIPTION=A dependently typed functional programming language and proof assistant
EAPI=8
HOMEPAGE=https://wiki.portal.chalmers.se/agda/
IUSE=debug dump-core emacs enable-cluster-counting +optimise-heavily +stdlib xdg-data-home doc hscolour hoogle profile
KEYWORDS=~amd64
LICENSE=MIT
PDEPEND=stdlib? ( ~sci-mathematics/agda-stdlib-2.8.0.2.3 )
RDEPEND=>=dev-haskell/aeson-1.4.7.1:=[profile?] <dev-haskell/aeson-2.3:=[profile?] >=dev-haskell/ansi-terminal-0.10.3:=[profile?] <dev-haskell/ansi-terminal-1.2:=[profile?] >=dev-haskell/async-2.2.2:=[profile?] <dev-haskell/async-2.3:=[profile?] >=dev-haskell/blaze-html-0.9.1.2:=[profile?] <dev-haskell/blaze-html-0.10:=[profile?] >=dev-haskell/boxes-0.1.5:=[profile?] <dev-haskell/boxes-0.2:=[profile?] >=dev-haskell/case-insensitive-1.2.1.0:=[profile?] <dev-haskell/case-insensitive-1.3:=[profile?] >=dev-haskell/data-hash-0.2.0.1:=[profile?] <dev-haskell/data-hash-0.3:=[profile?] >=dev-haskell/dlist-0.8.0.8:=[profile?] <dev-haskell/dlist-1.1:=[profile?] >=dev-haskell/edit-distance-0.2.2.1:=[profile?] <dev-haskell/edit-distance-0.3:=[profile?] >=dev-haskell/enummapset-0.6.0.3:=[profile?] <dev-haskell/enummapset-0.8:=[profile?] >=dev-haskell/equivalence-0.3.5:=[profile?] <dev-haskell/equivalence-0.5:=[profile?] >=dev-haskell/filelock-0.1.1.5:=[profile?] <dev-haskell/filelock-0.2:=[profile?] >=dev-haskell/filemanip-0.3.6.3:=[profile?] <dev-haskell/filemanip-0.4:=[profile?] >=dev-haskell/generic-data-0.9.2.0:=[profile?] <dev-haskell/generic-data-1.2:=[profile?] >=dev-haskell/gitrev-1.3.1:=[profile?] <dev-haskell/gitrev-2:=[profile?] >=dev-haskell/hashable-1.3.0.0:=[profile?] <dev-haskell/hashable-1.6:=[profile?] >=dev-haskell/haskeline-0.7.5.0:=[profile?] <dev-haskell/haskeline-0.9:=[profile?] >=dev-haskell/monad-control-1.0.2.3:=[profile?] <dev-haskell/monad-control-1.1:=[profile?] >=dev-haskell/murmur-hash-0.1.0.9:=[profile?] <dev-haskell/murmur-hash-0.2:=[profile?] >=dev-haskell/nonempty-containers-0.3.4.1:=[profile?] <dev-haskell/nonempty-containers-0.4:=[profile?] >=dev-haskell/parallel-3.2.2.0:=[profile?] <dev-haskell/parallel-3.4:=[profile?] >=dev-haskell/peano-0.1.0.1:=[profile?] <dev-haskell/peano-0.2:=[profile?] >=dev-haskell/pqueue-1.4.1.3:=[profile?] <dev-haskell/pqueue-1.7:=[profile?] >=dev-haskell/process-extras-0.7.4:=[profile?] <dev-haskell/process-extras-0.8:=[profile?] >=dev-haskell/regex-tdfa-1.3.1.0:=[profile?] <dev-haskell/regex-tdfa-1.4:=[profile?] >=dev-haskell/split-0.2.3.4:=[profile?] <dev-haskell/split-0.3:=[profile?] >=dev-haskell/stmonadtrans-0.4.5:=[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.4.0:=[profile?] <dev-haskell/text-2.2:=[profile?] >=dev-haskell/th-lift-instances-0.1.18:=[profile?] <dev-haskell/th-lift-instances-0.1.21:=[profile?] >=dev-haskell/unordered-containers-0.2.10.0:=[profile?] <dev-haskell/unordered-containers-0.3:=[profile?] >=dev-haskell/uri-encode-1.5.0.7:=[profile?] <dev-haskell/uri-encode-1.6:=[profile?] >=dev-haskell/vector-0.12.1.2:=[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.2.2:=[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?] <dev-haskell/text-icu-0.9:=[profile?] ) emacs? ( >=app-editors/emacs-23.1:* app-emacs/haskell-mode ) dev-lang/ghc:=[profile?]
SLOT=0/2.8.0
SRC_URI=https://hackage.haskell.org/package/Agda-2.8.0/Agda-2.8.0.tar.gz -> agda-2.8.0.tar.gz https://hackage.haskell.org/package/Agda-2.8.0/revision/2.cabal -> agda-2.8.0-rev2.cabal
_eclasses_=elisp-common	fe05085d051330f15cf7201109b5cd23	ghc-package	94e9e8c87736070ff088bc34d0f45f7c	haskell-cabal	85fd5ab7b9e5ddf0d7e402676ad452f5	multilib	a199af442898963433d6f038a88cce9c	multiprocessing	1e32df7deee68372153dca65f4a7c21f	toolchain-funcs	98d9f464d912ae6b7316fb8a3721f5db
_md5_=88492029794d87bc2063ab6885ac1d16