BDEPEND=app-text/dos2unix DEFINED_PHASES=compile configure install postinst postrm prepare setup test DEPEND=>=dev-haskell/parsec-3.1.16.1:=[profile?] =dev-haskell/primitive-0.9.0.0:=[profile?] =dev-lang/ghc-9.6.5:= exe? ( >=dev-haskell/optparse-applicative-0.18.1.0:=[profile?] =dev-haskell/cabal-3.10.3.0 test? ( dev-haskell/minisat >=dev-haskell/quickcheck-2.14 >=dev-haskell/tasty-1.4 dev-haskell/tasty-hunit >=dev-haskell/tasty-quickcheck-0.10 ) hscolour? ( dev-haskell/hscolour ) DESCRIPTION=Pure Haskell SAT-solver EAPI=8 HOMEPAGE=https://github.com/phadej/puresat IUSE=exe doc hscolour hoogle profile test KEYWORDS=~amd64 LICENSE=BSD RDEPEND=>=dev-haskell/parsec-3.1.16.1:=[profile?] =dev-haskell/primitive-0.9.0.0:=[profile?] =dev-lang/ghc-9.6.5:= exe? ( >=dev-haskell/optparse-applicative-0.18.1.0:=[profile?]