summaryrefslogtreecommitdiff
blob: e45ee50348185125373318709bc83a98dd223bc7 (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:= 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
_eclass_exported_funcs=pkg_postrm:haskell-cabal pkg_postinst:haskell-cabal pkg_setup:haskell-cabal src_configure:haskell-cabal src_compile:haskell-cabal src_test:haskell-cabal src_install:haskell-cabal
_eclasses_=epatch	8233751dc5105a6ae8fcd86ce2bb0247	estack	43ddf5aaffa7a8d0482df54d25a66a1f	eutils	9c113d6a64826c40154cad7be15d95ea	ghc-package	f9cf05643e20f03876bb4807f008c80f	haskell-cabal	45605f3898bdc59eb016fb50ca27bf18	ltprune	2770eed66a9b8ef944714cd0e968182e	multilib	0236be304ee52e7f179ed2f337075515	multiprocessing	284a473719153462f3e974d86c8cb81c	toolchain-funcs	6eb35f81556258a4bc9182ad3dfd58ee	versionator	c80ccf29e90adea7c5cae94b42eb76d0
_md5_=68a2491225ea50e95d41bef48414e0be