BDEPEND=app-text/dos2unix >=dev-vcs/git-1.8.2.1[curl]
DEFINED_PHASES=compile configure install postinst postrm prepare setup test unpack
DEPEND=dev-haskell/aeson:=[profile?] dev-haskell/ansi-terminal:=[profile?] >=dev-haskell/ascii-progress-0.3:=[profile?] dev-haskell/async:=[profile?] dev-haskell/attoparsec:=[profile?] dev-haskell/boxes:=[profile?] dev-haskell/cereal:=[profile?] dev-haskell/cmdargs:=[profile?] dev-haskell/fgl:=[profile?] dev-haskell/hashable:=[profile?] dev-haskell/intern:=[profile?] dev-haskell/lens-family:=[profile?] >=dev-haskell/megaparsec-7.0.0:=[profile?] <dev-haskell/megaparsec-10:=[profile?] dev-haskell/parallel:=[profile?] dev-haskell/parser-combinators:=[profile?] >=dev-haskell/rest-rewrite-0.3.0:=[profile?] dev-haskell/stm:=[profile?] dev-haskell/store:=[profile?] dev-haskell/syb:=[profile?] dev-haskell/unordered-containers:=[profile?] <dev-haskell/vector-0.13:=[profile?] >=dev-lang/ghc-8.4.3:= >=dev-haskell/cabal-2.4 test? ( dev-haskell/optparse-applicative >=dev-haskell/stm-2.4 dev-haskell/tagged >=dev-haskell/tasty-0.10 dev-haskell/tasty-ant-xml >=dev-haskell/tasty-hunit-0.9 dev-haskell/tasty-quickcheck >=dev-haskell/tasty-rerun-1.1.12 ) hscolour? ( dev-haskell/hscolour )
DESCRIPTION=Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
EAPI=8
HOMEPAGE=https://github.com/ucsd-progsys/liquid-fixpoint#readme
IUSE=doc hscolour hoogle profile test
LICENSE=BSD
PROPERTIES=live
RDEPEND=dev-haskell/aeson:=[profile?] dev-haskell/ansi-terminal:=[profile?] >=dev-haskell/ascii-progress-0.3:=[profile?] dev-haskell/async:=[profile?] dev-haskell/attoparsec:=[profile?] dev-haskell/boxes:=[profile?] dev-haskell/cereal:=[profile?] dev-haskell/cmdargs:=[profile?] dev-haskell/fgl:=[profile?] dev-haskell/hashable:=[profile?] dev-haskell/intern:=[profile?] dev-haskell/lens-family:=[profile?] >=dev-haskell/megaparsec-7.0.0:=[profile?] <dev-haskell/megaparsec-10:=[profile?] dev-haskell/parallel:=[profile?] dev-haskell/parser-combinators:=[profile?] >=dev-haskell/rest-rewrite-0.3.0:=[profile?] dev-haskell/stm:=[profile?] dev-haskell/store:=[profile?] dev-haskell/syb:=[profile?] dev-haskell/unordered-containers:=[profile?] <dev-haskell/vector-0.13:=[profile?] >=dev-lang/ghc-8.4.3:= dev-lang/ghc:=[profile?]
RESTRICT=!test? ( test )
SLOT=0/9999
_eclasses_=ghc-package	72a691379521620cee2b91159683f88f	git-r3	875eb471682d3e1f18da124be97dcc81	haskell-cabal	601749bf7114add521ede8e0268ae542	multilib	404b65bd5212cff83b3935c685419d08	multiprocessing	1e32df7deee68372153dca65f4a7c21f	toolchain-funcs	7e440a20ac11dece04e3334622e6e5da
_md5_=265eb42c67f089dc07c66e44bf90095a