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.
gentoo-overlay/metadata/md5-cache/sci-mathematics/kodkodi-1.5.2

14 lines
1.0 KiB

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.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 =sci-mathematics/kodkod-1.5*:= isabelle? ( >=sci-mathematics/isabelle-2011-r1:= ) >=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 025442f2eecab39ad0b4e541b6e142af java-pkg-2 65bbb59987d777c1106ae8aa4bf36e7b java-pkg-simple d7cef87260947d4cce245c4f026377e2 java-utils-2 f02d3e4777b404c719a5a6479c37c6e3 multilib fac675dcccf94392371a6abee62d909f toolchain-funcs 48b38a216afb92db6314d6c3187abea3 versionator a8a3963967d6140be9a14b08bb8f047f
_md5_=9d01d6d57a027380ce403f82b6af31b6