BDEPEND=app-text/dos2unix
DEFINED_PHASES=compile configure install postinst postrm prepare setup test
DEPEND=dev-haskell/ansi-terminal:=[profile?] >=dev-haskell/base-compat-0.6:=[profile?] dev-haskell/blaze-html:=[profile?] >=dev-haskell/gitrev-1.0:=[profile?] >=dev-haskell/graphscc-1.0.4:=[profile?] dev-haskell/haskeline:=[profile?] >=dev-haskell/heredoc-0.2:=[profile?] >=dev-haskell/monad-control-1.0:=[profile?] >=dev-haskell/monadlib-3.7.2:=[profile?] >=dev-haskell/mtl-2.2.1:=[profile?] >=dev-haskell/panic-0.3:=[profile?] >=dev-haskell/random-1.0.1:=[profile?] >=dev-haskell/sbv-7.7:=[profile?] >=dev-haskell/simple-smt-0.7.1:=[profile?] dev-haskell/strict:=[profile?] >=dev-haskell/text-1.1:=[profile?] >=dev-haskell/tf-random-0.5:=[profile?] >=dev-haskell/transformers-base-0.4:=[profile?] >=dev-lang/ghc-8.0.1:= dev-haskell/alex >=dev-haskell/cabal-1.24.0.0 dev-haskell/happy hscolour? ( dev-haskell/hscolour )
DESCRIPTION=Cryptol: The Language of Cryptography
EAPI=8
HOMEPAGE=http://www.cryptol.net/
IUSE=+relocatable doc hscolour hoogle profile
KEYWORDS=~amd64
LICENSE=BSD
RDEPEND=dev-haskell/ansi-terminal:=[profile?] >=dev-haskell/base-compat-0.6:=[profile?] dev-haskell/blaze-html:=[profile?] >=dev-haskell/gitrev-1.0:=[profile?] >=dev-haskell/graphscc-1.0.4:=[profile?] dev-haskell/haskeline:=[profile?] >=dev-haskell/heredoc-0.2:=[profile?] >=dev-haskell/monad-control-1.0:=[profile?] >=dev-haskell/monadlib-3.7.2:=[profile?] >=dev-haskell/mtl-2.2.1:=[profile?] >=dev-haskell/panic-0.3:=[profile?] >=dev-haskell/random-1.0.1:=[profile?] >=dev-haskell/sbv-7.7:=[profile?] >=dev-haskell/simple-smt-0.7.1:=[profile?] dev-haskell/strict:=[profile?] >=dev-haskell/text-1.1:=[profile?] >=dev-haskell/tf-random-0.5:=[profile?] >=dev-haskell/transformers-base-0.4:=[profile?] >=dev-lang/ghc-8.0.1:= sci-mathematics/z3 dev-lang/ghc:=[profile?]
SLOT=0/2.6.0
SRC_URI=https://hackage.haskell.org/package/cryptol-2.6.0/cryptol-2.6.0.tar.gz
_eclasses_=ghc-package	94e9e8c87736070ff088bc34d0f45f7c	haskell-cabal	91c151c7c4674cac3cf13313d653e1f3	multilib	c19072c3cd7ac5cb21de013f7e9832e0	multiprocessing	30ead54fa2e2b5f9cd4e612ffc34d0fe	toolchain-funcs	e56c7649b804f051623c8bc1a1c44084
_md5_=ab78319c7f11a12daa9e998226a348e5