blob: 214303fa8867822959c09bd595ce2a9677967e31 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
DEFINED_PHASES=compile configure install postinst postrm setup test
DEPEND=dev-haskell/async:=[profile?] >=dev-lang/ghc-7.4.1:= sys-devel/gcc[cxx] >=dev-haskell/cabal-1.6 doc? ( || ( dev-haskell/haddock >=dev-lang/ghc-7.10.2 ) ) hscolour? ( dev-haskell/hscolour )
DESCRIPTION=A Haskell bundle of the Minisat SAT solver
EAPI=5
HOMEPAGE=http://hackage.haskell.org/package/minisat
IUSE=doc hscolour profile
KEYWORDS=~amd64 ~x86
LICENSE=BSD
RDEPEND=dev-haskell/async:=[profile?] >=dev-lang/ghc-7.4.1:= sys-devel/gcc[cxx]
SLOT=0/0.1.2
SRC_URI=mirror://hackage/packages/archive/minisat/0.1.2/minisat-0.1.2.tar.gz
_eclasses_=desktop 2ccd1dd1dd7bfb8795eea024a4f91bb6 epatch 9a5f039771f143195164a15a4faa41a1 estack 43ddf5aaffa7a8d0482df54d25a66a1f eutils 63392afb034aad67f17fa129019eb4d9 ghc-package a0d34e2f5f204f01c404ae1ce539542a haskell-cabal 45605f3898bdc59eb016fb50ca27bf18 ltprune 607e058da37aa6dabfa408b7d61da72e multilib 97f470f374f2e94ccab04a2fb21d811e multiprocessing cac3169468f893670dac3e7cb940e045 preserve-libs ef207dc62baddfddfd39a164d9797648 toolchain-funcs fa02994d0beba88681127d93da4411ec vcs-clean 2a0f74a496fa2b1552c4f3398258b7bf versionator 26ca8a8bd95d6a74122c08ba98a4ee72
_md5_=68a2491225ea50e95d41bef48414e0be
|
