DEFINED_PHASES=install postinst preinst prepare setup unpack
DEPEND=>=dev-java/java-config-2.2.0-r3
DESCRIPTION=Animate Event-B models with the ProB model checker
EAPI=8
HOMEPAGE=https://github.com/eventb-rossi/eventb-animate
IUSE=ltsmin system-prob
KEYWORDS=~amd64
LICENSE=Apache-2.0
RDEPEND=>=virtual/jre-21:* ltsmin? ( sci-mathematics/ltsmin[prob] ) system-prob? ( ~sci-mathematics/prob-bin-1.15.1[ltsmin?] ) >=dev-java/java-config-2.2.0-r3
SLOT=0
SRC_URI=https://github.com/eventb-rossi/eventb-animate/releases/download/v6.1/eventb-animate.jar -> eventb-animate-6.1.jar
_eclasses_=java-pkg-2	438c2725ea326202d7fc1eb31af76813	java-utils-2	4fa0be92748bc228f31bd845d285d7f9
_md5_=ccbd52b526ce5e19133f9963d03ac77e