2015-08-02 16:00:23 +03:00
|
|
|
DEFINED_PHASES=compile configure install postinst postrm setup test
|
2020-12-21 15:24:17 +03:00
|
|
|
DEPEND=dev-haskell/async:=[profile?] >=dev-lang/ghc-7.4.1:= >=dev-haskell/cabal-1.6 hscolour? ( dev-haskell/hscolour )
|
2015-08-02 16:00:23 +03:00
|
|
|
DESCRIPTION=A Haskell bundle of the Minisat SAT solver
|
2020-10-26 08:34:10 +03:00
|
|
|
EAPI=7
|
2020-06-07 01:17:21 +03:00
|
|
|
HOMEPAGE=https://hackage.haskell.org/package/minisat
|
2015-08-02 16:00:23 +03:00
|
|
|
IUSE=doc hscolour profile
|
|
|
|
|
KEYWORDS=~amd64 ~x86
|
|
|
|
|
LICENSE=BSD
|
2020-10-26 08:34:10 +03:00
|
|
|
RDEPEND=dev-haskell/async:=[profile?] >=dev-lang/ghc-7.4.1:=
|
2015-08-02 16:00:23 +03:00
|
|
|
SLOT=0/0.1.2
|
2019-11-11 09:51:35 +03:00
|
|
|
SRC_URI=https://hackage.haskell.org/package/minisat-0.1.2/minisat-0.1.2.tar.gz
|
2021-07-12 22:22:18 +03:00
|
|
|
_eclasses_=edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff ghc-package 6344fef4405bc9a6cca6a0a39eee4a32 haskell-cabal c532267df7d5d305ca17c3d0c5f81bb2 multilib 97566c1a256d07b00848aa767e38a352 multiprocessing 61c959fc55c15c00bbb1079d6a71370b strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs 9ea1c67b6f8315fdc2568abb674519aa wrapper 4251d4c84c25f59094fd557e0063a974
|
2020-10-26 08:34:10 +03:00
|
|
|
_md5_=599a51700719351995576e7e24254e15
|
