DEFINED_PHASES=install postinst preinst prepare setup unpack
DEPEND=>=dev-java/java-config-2.2.0-r3
DESCRIPTION=JavaFX-based animator and model checker built on ProB
EAPI=8
HOMEPAGE=https://prob.hhu.de/
IUSE=ltsmin system-prob
KEYWORDS=~amd64
LICENSE=EPL-2.0
RDEPEND=>=virtual/jre-21:* system-prob? ( ~sci-mathematics/prob-bin-1.15.1[ltsmin?] ) >=dev-java/java-config-2.2.0-r3
REQUIRED_USE=ltsmin? ( system-prob )
SLOT=0
SRC_URI=https://stups.hhu-hosting.de/downloads/prob2/1.3.1/prob2-ui-1.3.1-multi.jar -> prob2-ui-1.3.1.jar
_eclasses_=java-pkg-2	438c2725ea326202d7fc1eb31af76813	java-utils-2	4fa0be92748bc228f31bd845d285d7f9
_md5_=80e8bb27dbb95489cde3bdd22df71bd7