summaryrefslogtreecommitdiff
blob: dba8bf20cf34c2a805359af1a92e3e8a72671677 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
DEFINED_PHASES=compile configure install postinst postrm setup test
DEPEND=dev-haskell/async:=[profile?] >=dev-lang/ghc-7.4.1:= >=dev-haskell/cabal-1.6 hscolour? ( dev-haskell/hscolour )
DESCRIPTION=A Haskell bundle of the Minisat SAT solver
EAPI=7
HOMEPAGE=https://hackage.haskell.org/package/minisat
INHERIT=haskell-cabal
IUSE=doc hscolour profile
KEYWORDS=~amd64 ~x86
LICENSE=BSD
RDEPEND=dev-haskell/async:=[profile?] >=dev-lang/ghc-7.4.1:=
SLOT=0/0.1.2
SRC_URI=https://hackage.haskell.org/package/minisat-0.1.2/minisat-0.1.2.tar.gz
_eclasses_=edos2unix	33e347e171066657f91f8b0c72ec8773	strip-linguas	ac3ee41ee2d31d8c41a77c0838320cc7	wrapper	4a1902f969e5718126434fc35f3a0d9c	eutils	dab5d8ec471d025b79c9e6906bcf3bff	multiprocessing	b4e253ab22cef7b1085e9b67c7a3b730	ghc-package	dbe1a8d17cacb390a3df7bbba6617679	multilib	4fbbbc98f236f1b43acd99476bc3cd85	toolchain-funcs	fd9cde67030b26e479eeadaced488253	haskell-cabal	81cdafdd21e27dfc13f0f7b4947fa145
_md5_=599a51700719351995576e7e24254e15