BDEPEND=app-text/dos2unix
DEFINED_PHASES=compile configure install postinst postrm prepare setup test
DEPEND=>=dev-haskell/async-2.2.5:=[profile?] >=dev-haskell/libbf-0.6.8:=[profile?] dev-haskell/quickcheck:=[profile?] dev-haskell/random:=[profile?] dev-haskell/syb:=[profile?] dev-haskell/text:=[profile?] dev-haskell/uniplate:=[profile?] >=dev-lang/ghc-9.8.2:= >=dev-haskell/cabal-3.10.3.0 test? ( 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=https://github.com/LeventErkok/sbv
IUSE=skip-hlint-tester doc hscolour hoogle profile test
KEYWORDS=~amd64
LICENSE=BSD
RDEPEND=>=dev-haskell/async-2.2.5:=[profile?] >=dev-haskell/libbf-0.6.8:=[profile?] dev-haskell/quickcheck:=[profile?] dev-haskell/random:=[profile?] dev-haskell/syb:=[profile?] dev-haskell/text:=[profile?] dev-haskell/uniplate:=[profile?] >=dev-lang/ghc-9.8.2:= dev-lang/ghc:=[profile?]
RESTRICT=test !test? ( test )
SLOT=0/11.0
SRC_URI=https://hackage.haskell.org/package/sbv-11.0/sbv-11.0.tar.gz
_eclasses_=ghc-package	94e9e8c87736070ff088bc34d0f45f7c	haskell-cabal	85fd5ab7b9e5ddf0d7e402676ad452f5	multilib	a199af442898963433d6f038a88cce9c	multiprocessing	1e32df7deee68372153dca65f4a7c21f	toolchain-funcs	98d9f464d912ae6b7316fb8a3721f5db
_md5_=6a6dded53af39403bf9dcc2cfb1b25f1