blob: f710fd8c690ee2fe3a4881c534b3ab928c2b12cb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
DEFINED_PHASES=compile configure install preinst prepare setup unpack
DEPEND=>=virtual/jdk-1.6 app-arch/unzip >=dev-java/java-config-2.2.0-r3 source? ( app-arch/zip )
DESCRIPTION=a constraint solver for relational logic
EAPI=5
HOMEPAGE=http://alloy.mit.edu/kodkod/index.html
IUSE=elibc_FreeBSD doc source
KEYWORDS=~amd64 ~x86
LICENSE=MIT
RDEPEND=>=virtual/jre-1.6 >=dev-java/java-config-2.2.0-r3 source? ( app-arch/zip )
SLOT=0/1.5.2
SRC_URI=http://alloy.mit.edu/kodkod/1.5.2/kodkod-1.5.2.zip https://waf.googlecode.com/files/waf-1.7.16
_eclass_exported_funcs=pkg_preinst:java-pkg-2 pkg_setup:- src_unpack:- src_prepare:- src_configure:- src_compile:- src_install:-
_eclasses_=eutils 792f83d5ec9536cb5ccef375469d8bde java-pkg-2 b02dc1e46b3648e467b5fbdf7857cf28 java-utils-2 9a25f292ff66f8c2c00100ac0b15c54f multilib d062ae4ba2fc40a19c11de2ad89b6616 multiprocessing e32940a7b2a9992ad217eccddb84d548 python-any-r1 1c20f9b800324335a8e3b137363362e8 python-utils-r1 c0ed2a2f233d3af6dd556048695dc5cb toolchain-funcs e886935aae2b45a545665444ab0667cf versionator 99ae9d758cbe7cfed19170e7d48f5a9c waf-utils c21174962af5ca8091b66f58612797ce
_md5_=1079328c4cfb38e5b811c60b43f80cec
|
GitWeb
