BDEPEND=dev-haskell/cabal app-text/dos2unix DEFINED_PHASES=compile configure install postinst postrm prepare setup test DEPEND=dev-haskell/async:=[profile?] || ( llvm-core/clang sys-devel/gcc[cxx] ) hscolour? ( dev-haskell/hscolour ) DESCRIPTION=A Haskell bundle of the Minisat SAT solver EAPI=8 HOMEPAGE=https://hackage.haskell.org/package/minisat IUSE=doc hscolour profile KEYWORDS=~amd64 ~x86 LICENSE=BSD RDEPEND=dev-haskell/async:=[profile?] || ( llvm-core/clang sys-devel/gcc[cxx] ) dev-lang/ghc:=[profile?] SLOT=0/0.1.4 SRC_URI=https://hackage.haskell.org/package/minisat-0.1.4/minisat-0.1.4.tar.gz _eclasses_=ghc-package 8e4f6eb2d0e798049f6fcaf3b84c0d4a haskell-cabal 1138de808f4356a4380a4f7cc6d4d8a3 multilib fc812e8eb2170022c28272d80a1f9e77 multiprocessing 45d0620f25c2f063ad6276ecd9ed9399 toolchain-funcs 58a918e3a42d0156f010dcfd43725be5 _md5_=0a50180daf3d8940cea4df6bf3795cd0