BDEPEND=app-text/dos2unix
DEFINED_PHASES=compile configure install postinst postrm prepare setup test
DEPEND=dev-haskell/ansi-terminal:=[profile?] >=dev-haskell/arithmoi-0.12:=[profile?] >=dev-haskell/async-2.2:=[profile?] <dev-haskell/async-2.3:=[profile?] >=dev-haskell/base-compat-0.6:=[profile?] dev-haskell/blaze-html:=[profile?] >=dev-haskell/bv-sized-1.0:=[profile?] <dev-haskell/bv-sized-1.1:=[profile?] dev-haskell/criterion-measurement:=[profile?] >=dev-haskell/cryptohash-sha1-0.11:=[profile?] <dev-haskell/cryptohash-sha1-0.12:=[profile?] dev-haskell/extra:=[profile?] >=dev-haskell/file-embed-0.0.16:=[profile?] >=dev-haskell/gitrev-1.0:=[profile?] >=dev-haskell/graphscc-1.0.4:=[profile?] >=dev-haskell/haskeline-0.7:=[profile?] <dev-haskell/haskeline-0.9:=[profile?] dev-haskell/language-c99:=[profile?] dev-haskell/language-c99-simple:=[profile?] >=dev-haskell/libbf-0.6:=[profile?] <dev-haskell/libbf-0.7:=[profile?] >=dev-haskell/memotrie-0.6:=[profile?] <dev-haskell/memotrie-0.7:=[profile?] >=dev-haskell/monad-control-1.0:=[profile?] >=dev-haskell/monadlib-3.7.2:=[profile?] dev-haskell/optparse-applicative:=[profile?] >=dev-haskell/panic-0.3:=[profile?] >=dev-haskell/parameterized-utils-2.0.2:=[profile?] dev-haskell/pretty-show:=[profile?] >=dev-haskell/prettyprinter-1.7.0:=[profile?] >=dev-haskell/sbv-9.1:=[profile?] >=dev-haskell/simple-smt-0.9.7:=[profile?] dev-haskell/strict:=[profile?] dev-haskell/temporary:=[profile?] >=dev-haskell/text-1.1:=[profile?] >=dev-haskell/tf-random-0.5:=[profile?] >=dev-haskell/transformers-base-0.4:=[profile?] dev-haskell/vector:=[profile?] >=dev-haskell/what4-1.4:=[profile?] >=dev-lang/ghc-9.0.2:= ffi? ( dev-haskell/hgmp:=[profile?] >=dev-haskell/libffi-0.2:=[profile?] ) sci-mathematics/z3 dev-haskell/alex >=dev-haskell/cabal-3.4.1.0 dev-haskell/happy hscolour? ( dev-haskell/hscolour )
DESCRIPTION=Cryptol: The Language of Cryptography
EAPI=8
HOMEPAGE=https://www.cryptol.net/
IUSE=+ffi +relocatable doc hscolour hoogle profile
KEYWORDS=~amd64
LICENSE=BSD
RDEPEND=dev-haskell/ansi-terminal:=[profile?] >=dev-haskell/arithmoi-0.12:=[profile?] >=dev-haskell/async-2.2:=[profile?] <dev-haskell/async-2.3:=[profile?] >=dev-haskell/base-compat-0.6:=[profile?] dev-haskell/blaze-html:=[profile?] >=dev-haskell/bv-sized-1.0:=[profile?] <dev-haskell/bv-sized-1.1:=[profile?] dev-haskell/criterion-measurement:=[profile?] >=dev-haskell/cryptohash-sha1-0.11:=[profile?] <dev-haskell/cryptohash-sha1-0.12:=[profile?] dev-haskell/extra:=[profile?] >=dev-haskell/file-embed-0.0.16:=[profile?] >=dev-haskell/gitrev-1.0:=[profile?] >=dev-haskell/graphscc-1.0.4:=[profile?] >=dev-haskell/haskeline-0.7:=[profile?] <dev-haskell/haskeline-0.9:=[profile?] dev-haskell/language-c99:=[profile?] dev-haskell/language-c99-simple:=[profile?] >=dev-haskell/libbf-0.6:=[profile?] <dev-haskell/libbf-0.7:=[profile?] >=dev-haskell/memotrie-0.6:=[profile?] <dev-haskell/memotrie-0.7:=[profile?] >=dev-haskell/monad-control-1.0:=[profile?] >=dev-haskell/monadlib-3.7.2:=[profile?] dev-haskell/optparse-applicative:=[profile?] >=dev-haskell/panic-0.3:=[profile?] >=dev-haskell/parameterized-utils-2.0.2:=[profile?] dev-haskell/pretty-show:=[profile?] >=dev-haskell/prettyprinter-1.7.0:=[profile?] >=dev-haskell/sbv-9.1:=[profile?] >=dev-haskell/simple-smt-0.9.7:=[profile?] dev-haskell/strict:=[profile?] dev-haskell/temporary:=[profile?] >=dev-haskell/text-1.1:=[profile?] >=dev-haskell/tf-random-0.5:=[profile?] >=dev-haskell/transformers-base-0.4:=[profile?] dev-haskell/vector:=[profile?] >=dev-haskell/what4-1.4:=[profile?] >=dev-lang/ghc-9.0.2:= ffi? ( dev-haskell/hgmp:=[profile?] >=dev-haskell/libffi-0.2:=[profile?] ) sci-mathematics/z3 dev-lang/ghc:=[profile?]
SLOT=0/3.2.0
SRC_URI=https://hackage.haskell.org/package/cryptol-3.2.0/cryptol-3.2.0.tar.gz
_eclasses_=ghc-package	94e9e8c87736070ff088bc34d0f45f7c	haskell-cabal	85fd5ab7b9e5ddf0d7e402676ad452f5	multilib	a199af442898963433d6f038a88cce9c	multiprocessing	1e32df7deee68372153dca65f4a7c21f	toolchain-funcs	98d9f464d912ae6b7316fb8a3721f5db
_md5_=167ad867abc39f67902c0678c76b241b