blob: f5a3f944d7af0293f97f67c9377d4be1562bd128 (
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=6
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 3c847a0129fed780bd709b98e426f89c java-pkg-2 c4e6af2574fd1dc79b43a6e27af4b5fb java-utils-2 1971a6927fcd7ec839f7e12b28a24bdd multilib 0236be304ee52e7f179ed2f337075515 multiprocessing 284a473719153462f3e974d86c8cb81c python-any-r1 74bf184baf9facd72c7baa58cab21385 python-utils-r1 316c531873247e48befb99900e5aa2ed toolchain-funcs 53b75b4a49cf3e61530a523804045432 versionator c80ccf29e90adea7c5cae94b42eb76d0 waf-utils d1ea2758053cbb7c5b38b8f88654468d
_md5_=88ebc4a0b799eef28540235b087cee63
|
GitWeb
