13 lines
1 KiB
Groff
13 lines
1 KiB
Groff
DEFINED_PHASES=compile install postinst postrm preinst prepare setup
|
|
DEPEND=>=virtual/jdk-1.6 app-arch/unzip >=dev-java/java-config-2.1.9-r1 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*:3 isabelle? ( >=sci-mathematics/isabelle-2011-r1:= ) =sci-mathematics/kodkod-1.5*:= >=virtual/jre-1.6 >=dev-java/java-config-2.1.9-r1 source? ( app-arch/zip )
|
|
SLOT=0/1.5.2
|
|
SRC_URI=http://www21.in.tum.de/~blanchet/kodkodi-1.5.2.tgz
|
|
_eclasses_=eutils 0c8c56033961c5899d1e699e979550f7 java-pkg-2 65bbb59987d777c1106ae8aa4bf36e7b java-pkg-simple d7cef87260947d4cce245c4f026377e2 java-utils-2 52b7cfbf4f7225fcea7e7f18b6d83328 multilib 892e597faee02a5b94eb02ab512e7622 toolchain-funcs 7ffd28a8c7eea27218865352bfd3ab2f user d0a4d0735a6c0183d707ca919bd72f28 versionator 6601b4c5b3f019a993db59a50e1854e4
|
|
_md5_=6d63ca3569f44c8c4355d7dd3ce5b1b8
|