blob: 1d9c44eb7cdbf7017d3ee3c16e1c112e8f760744 (
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 ) >=dev-haskell/cabal-1.1.4
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_=eutils 792f83d5ec9536cb5ccef375469d8bde ghc-package 892c6c35a9ac0993e65049c039438508 haskell-cabal e93b3ae2b779ea727098c318740957e3 multilib d062ae4ba2fc40a19c11de2ad89b6616 multiprocessing e32940a7b2a9992ad217eccddb84d548 toolchain-funcs d513d423d449877e49d99af3f7af7acb versionator 99ae9d758cbe7cfed19170e7d48f5a9c
_md5_=80afb0c44f0e8b61d7bb30d529ab5d35
|