13 lines
1 KiB
Groff
13 lines
1 KiB
Groff
DEFINED_PHASES=compile install postinst postrm preinst prepare setup
|
|
DEPEND=dev-java/antlr:3 =sci-mathematics/kodkod-1.5*:= >=virtual/jdk-1.6 app-arch/unzip >=dev-java/java-config-2.2.0 source? ( app-arch/zip )
|
|
DESCRIPTION=A text front-end for the Kodkod Java library
|
|
EAPI=5
|
|
HOMEPAGE=http://www21.in.tum.de/~blanchet/#software
|
|
IUSE=isabelle examples elibc_FreeBSD doc source elibc_FreeBSD
|
|
KEYWORDS=~amd64 ~x86
|
|
LICENSE=BSD
|
|
RDEPEND=dev-java/antlr:3 =sci-mathematics/kodkod-1.5*:= isabelle? ( >=sci-mathematics/isabelle-2011-r1:= ) >=virtual/jre-1.6 >=dev-java/java-config-2.2.0 source? ( app-arch/zip )
|
|
SLOT=0/1.5.2
|
|
SRC_URI=http://www21.in.tum.de/~blanchet/kodkodi-1.5.2.tgz
|
|
_eclasses_=eutils 43da5163ba106e87d22d2e7d6d67537f java-pkg-2 b02dc1e46b3648e467b5fbdf7857cf28 java-pkg-simple b39bf980f65c12acb466f0a891fc002d java-utils-2 c059b30d6a4df7cf32e2c98c1da1c9b5 multilib df4e4d5cfd3d137d0c248e1991c0e4d6 toolchain-funcs 7a212e5e01adfa4805c9978366e6ee85 versionator 99ae9d758cbe7cfed19170e7d48f5a9c
|
|
_md5_=fb8947a599756fbaca9e135ba57907a4
|