BDEPEND=app-text/dos2unix
DEFINED_PHASES=compile configure install postinst postrm prepare setup test
DEPEND=dev-haskell/async:=[profile?] dev-haskell/cracknum:=[profile?] dev-haskell/mtl:=[profile?] dev-haskell/quickcheck:=[profile?] dev-haskell/random:=[profile?] dev-haskell/syb:=[profile?] >=dev-lang/ghc-8.4.3:= >=dev-haskell/cabal-2.2.0.1 test? ( dev-haskell/doctest dev-haskell/glob dev-haskell/tasty dev-haskell/tasty-golden dev-haskell/tasty-hunit dev-haskell/tasty-quickcheck !skip-hlint-tester? ( dev-haskell/hlint ) ) hscolour? ( dev-haskell/hscolour )
DESCRIPTION=SMT Based Verification: Symbolic Haskell theorem prover using SMT solving
EAPI=8
HOMEPAGE=http://leventerkok.github.com/sbv/
IUSE=skip-hlint-tester doc hscolour hoogle profile test
KEYWORDS=~amd64
LICENSE=BSD
RDEPEND=dev-haskell/async:=[profile?] dev-haskell/cracknum:=[profile?] dev-haskell/mtl:=[profile?] dev-haskell/quickcheck:=[profile?] dev-haskell/random:=[profile?] dev-haskell/syb:=[profile?] >=dev-lang/ghc-8.4.3:= dev-lang/ghc:=[profile?]
RESTRICT=test !test? ( test )
SLOT=0/8.8
SRC_URI=https://hackage.haskell.org/package/sbv-8.8/sbv-8.8.tar.gz
_eclasses_=ghc-package	94e9e8c87736070ff088bc34d0f45f7c	haskell-cabal	91c151c7c4674cac3cf13313d653e1f3	multilib	c19072c3cd7ac5cb21de013f7e9832e0	multiprocessing	30ead54fa2e2b5f9cd4e612ffc34d0fe	toolchain-funcs	e56c7649b804f051623c8bc1a1c44084
_md5_=36da5b5f8f547313c433dc95b57d3fb4