BDEPEND=app-text/dos2unix
DEFINED_PHASES=compile configure install postinst postrm prepare setup test
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-lang/ghc-8.4.3:= >=dev-haskell/cabal-2.4 test? ( >=dev-haskell/tasty-0.10 >=dev-haskell/tasty-hunit-0.9 dev-haskell/tasty-quickcheck ) 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=executable doc hscolour hoogle profile test
KEYWORDS=~amd64
LICENSE=BSD
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-lang/ghc-8.4.3:= dev-lang/ghc:=[profile?]
RESTRICT=!test? ( test )
SLOT=0/0.8.10.7.1_pre20220624
SRC_URI=https://github.com/ucsd-progsys/liquid-fixpoint/archive/a63a20e8e73f2a3c214a874cc6b2da0f76a57318.tar.gz -> liquid-fixpoint-a63a20e8e73f2a3c214a874cc6b2da0f76a57318.tar.gz
_eclasses_=ghc-package	94e9e8c87736070ff088bc34d0f45f7c	haskell-cabal	91c151c7c4674cac3cf13313d653e1f3	multilib	c19072c3cd7ac5cb21de013f7e9832e0	multiprocessing	30ead54fa2e2b5f9cd4e612ffc34d0fe	optfeature	222cb475c5a4f7ae7cfb0bf510a6fe54	toolchain-funcs	e56c7649b804f051623c8bc1a1c44084
_md5_=f35341e292eac9ecae4e845500460e60