summaryrefslogtreecommitdiff
blob: f4060be6b445e7c4456d66c9d5cb824d5f73a3dd (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
BDEPEND=app-text/dos2unix
DEFINED_PHASES=compile configure install postinst postrm prepare 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	23cb2d46c80c12aa8b25973b4cdcb257	multiprocessing	b4e253ab22cef7b1085e9b67c7a3b730	ghc-package	dbe1a8d17cacb390a3df7bbba6617679	multilib	5ca4e49abed8e3a2f7b56920eadee157	toolchain-funcs	1542e649be915f43f6908a9e93909961	haskell-cabal	bd6d32a0289c486284bc0cdc06a639a6
_md5_=599a51700719351995576e7e24254e15