2012-04-01 12:19:34 +04:00
|
|
|
DEFINED_PHASES=compile configure install preinst prepare setup unpack
|
2016-04-19 14:57:51 +03:00
|
|
|
DEPEND=>=virtual/jdk-1.5 >=dev-java/java-config-2.2.0-r3 source? ( app-arch/zip ) >=dev-java/ant-core-1.8.2:0 >=dev-java/javatoolkit-0.3.0-r2
|
2012-04-01 12:19:34 +04:00
|
|
|
DESCRIPTION=Lightweight constraint programming with a SAT solver
|
|
|
|
|
EAPI=2
|
|
|
|
|
HOMEPAGE=http://www.sat4j.org/
|
|
|
|
|
IUSE=elibc_FreeBSD doc source elibc_FreeBSD
|
2012-08-10 08:53:51 +04:00
|
|
|
KEYWORDS=amd64 x86
|
2012-04-01 12:19:34 +04:00
|
|
|
LICENSE=LGPL-2.1
|
2016-04-19 14:57:51 +03:00
|
|
|
RDEPEND=>=virtual/jre-1.5 >=dev-java/java-config-2.2.0-r3 source? ( app-arch/zip )
|
2012-04-01 12:19:34 +04:00
|
|
|
SLOT=2.3
|
|
|
|
|
SRC_URI=http://download.forge.objectweb.org/sat4j/sat4j-core-v20111030.zip http://download.forge.objectweb.org/sat4j/build-2.4.xml -> sat4j-core-2.3.1-build.xml
|
2017-02-23 20:54:05 +03:00
|
|
|
_eclasses_=eutils 708f85bc1bf00876604e223fb56e062a java-ant-2 d1abcccd8e9c606be17deacfe5c7368a java-pkg-2 eb1f0d7d874162c70088f5ae32c31ee7 java-utils-2 b31a7fe19a47c6a2d901f6de949e5209 multilib 165fc17c38d1b11dac2008280dab6e80 toolchain-funcs 1b1da0c45c555989dc5d832b54880783 versionator 99ae9d758cbe7cfed19170e7d48f5a9c
|
2015-08-11 00:17:55 +03:00
|
|
|
_md5_=4ede27a2d6bcc023dfd172f5c0473454
|
