BDEPEND=app-text/dos2unix
DEFINED_PHASES=compile configure install postinst postrm prepare setup test
DEPEND=>=dev-haskell/smtlib-backends-0.3:=[profile?] <dev-haskell/smtlib-backends-0.5:=[profile?] >=dev-lang/ghc-9.0.2:= sys-devel/gcc[openmp] sci-mathematics/z3 >=dev-haskell/cabal-3.4.1.0 test? ( dev-haskell/smtlib-backends-tests dev-haskell/tasty dev-haskell/tasty-hunit ) hscolour? ( dev-haskell/hscolour )
DESCRIPTION=An SMT-LIB backend implemented using Z3's C API
EAPI=8
HOMEPAGE=https://hackage.haskell.org/package/smtlib-backends-z3
IUSE=doc hscolour hoogle profile test
KEYWORDS=~amd64
LICENSE=MIT
RDEPEND=>=dev-haskell/smtlib-backends-0.3:=[profile?] <dev-haskell/smtlib-backends-0.5:=[profile?] >=dev-lang/ghc-9.0.2:= sys-devel/gcc[openmp] sci-mathematics/z3 dev-lang/ghc:=[profile?]
RESTRICT=!test? ( test )
SLOT=0/0.3.1
SRC_URI=https://hackage.haskell.org/package/smtlib-backends-z3-0.3.1/smtlib-backends-z3-0.3.1.tar.gz https://hackage.haskell.org/package/smtlib-backends-z3-0.3.1/revision/3.cabal -> smtlib-backends-z3-0.3.1-rev3.cabal
_eclasses_=ghc-package	94e9e8c87736070ff088bc34d0f45f7c	haskell-cabal	85fd5ab7b9e5ddf0d7e402676ad452f5	multilib	a199af442898963433d6f038a88cce9c	multiprocessing	1e32df7deee68372153dca65f4a7c21f	toolchain-funcs	98d9f464d912ae6b7316fb8a3721f5db
_md5_=7f477df9c5c4b48c4b4dbff1f637269e