You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
14 lines
1.0 KiB
14 lines
1.0 KiB
DEFINED_PHASES=compile configure install preinst prepare setup unpack
|
|
DEPEND=dev-java/sat4j-core:2.3 >=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
|
|
DESCRIPTION=Pseudo Boolean solvers
|
|
EAPI=2
|
|
HOMEPAGE=http://www.sat4j.org/
|
|
IUSE=elibc_FreeBSD doc source elibc_FreeBSD
|
|
KEYWORDS=~amd64 ~x86
|
|
LICENSE=LGPL-2.1
|
|
RDEPEND=dev-java/sat4j-core:2.3 >=virtual/jre-1.5 >=dev-java/java-config-2.2.0-r3 source? ( app-arch/zip )
|
|
SLOT=2.3
|
|
SRC_URI=http://download.forge.objectweb.org/sat4j/sat4j-pb-v20111030.zip http://download.forge.objectweb.org/sat4j/build-2.4.xml -> sat4j-pseudo-2.3.1-build.xml
|
|
_eclasses_=eutils b83a2420b796f7c6eff682679d08fe25 java-ant-2 d1abcccd8e9c606be17deacfe5c7368a java-pkg-2 b02dc1e46b3648e467b5fbdf7857cf28 java-utils-2 9a25f292ff66f8c2c00100ac0b15c54f multilib 165fc17c38d1b11dac2008280dab6e80 toolchain-funcs 6198c04daba0e1307bd844df7d37f423 versionator 99ae9d758cbe7cfed19170e7d48f5a9c
|
|
_md5_=4c7f1203fc1477ad5ec7ddf860db6124
|