BDEPEND=verify-sig? ( sec-keys/openpgp-keys-stups sec-keys/openpgp-keys-apache-commons ) verify-sig? ( || ( app-alternatives/gpg app-crypt/gnupg[-alternatives(-)] ) >=app-portage/gemato-20 )
DEFINED_PHASES=install preinst prepare setup unpack
DEPEND=>=dev-java/java-config-2.2.0-r3
DESCRIPTION=Model-check classical B specifications by translating them to TLA+
EAPI=8
HOMEPAGE=https://github.com/hhu-stups/tlc4b
IUSE=verify-sig
KEYWORDS=~amd64
LICENSE=EPL-1.0
RDEPEND=>=virtual/jre-1.8:* >=dev-java/java-config-2.2.0-r3
SLOT=0
SRC_URI=https://repo1.maven.org/maven2/de/hhu/stups/tlc4b/1.2.3/tlc4b-1.2.3.jar https://repo1.maven.org/maven2/de/hhu/stups/tlatools/1.1.0/tlatools-1.1.0.jar https://repo1.maven.org/maven2/de/hhu/stups/bparser/2.15.4/bparser-2.15.4.jar https://repo1.maven.org/maven2/de/hhu/stups/ltlparser/2.15.4/ltlparser-2.15.4.jar https://repo1.maven.org/maven2/de/hhu/stups/prologlib/2.15.4/prologlib-2.15.4.jar https://repo1.maven.org/maven2/de/hhu/stups/parserbase/2.15.4/parserbase-2.15.4.jar https://repo1.maven.org/maven2/de/hhu/stups/sablecc-runtime/3.9.0/sablecc-runtime-3.9.0.jar https://repo1.maven.org/maven2/commons-cli/commons-cli/1.11.0/commons-cli-1.11.0.jar verify-sig? ( https://repo1.maven.org/maven2/de/hhu/stups/tlc4b/1.2.3/tlc4b-1.2.3.jar.asc https://repo1.maven.org/maven2/de/hhu/stups/tlatools/1.1.0/tlatools-1.1.0.jar.asc https://repo1.maven.org/maven2/de/hhu/stups/bparser/2.15.4/bparser-2.15.4.jar.asc https://repo1.maven.org/maven2/de/hhu/stups/ltlparser/2.15.4/ltlparser-2.15.4.jar.asc https://repo1.maven.org/maven2/de/hhu/stups/prologlib/2.15.4/prologlib-2.15.4.jar.asc https://repo1.maven.org/maven2/de/hhu/stups/parserbase/2.15.4/parserbase-2.15.4.jar.asc https://repo1.maven.org/maven2/de/hhu/stups/sablecc-runtime/3.9.0/sablecc-runtime-3.9.0.jar.asc https://repo1.maven.org/maven2/commons-cli/commons-cli/1.11.0/commons-cli-1.11.0.jar.asc )
_eclasses_=eapi9-pipestatus	d2c134036ac31c3085aebc9147f572bd	java-pkg-2	438c2725ea326202d7fc1eb31af76813	java-utils-2	b41327d85d12ce816943cf4d344add19	verify-sig	ece4c893b6bd62eacbc4d25958e857f8
_md5_=d3f2d02fdb6ac7ec2cf9b5d60a8d2977