DEFINED_PHASES=install postinst postrm preinst
DESCRIPTION=Animator, constraint solver and model checker for B, Event-B, CSP, TLA+, Z
EAPI=8
HOMEPAGE=https://prob.hhu.de/
IUSE=ltsmin
KEYWORDS=-* ~amd64
LICENSE=EPL-1.0
RDEPEND=dev-lang/tk dev-libs/gmp sys-apps/util-linux >=virtual/jre-1.8:* ltsmin? ( sci-mathematics/ltsmin[prob] )
RESTRICT=strip
SLOT=0
SRC_URI=https://stups.hhu-hosting.de/downloads/prob/tcltk/releases/1.15.1/ProB.linux64.tar.gz -> prob-bin-1.15.1.tar.gz
_eclasses_=desktop	e447b5f77146d69797e9f03ff177f3f1	optfeature	58cc13bdc4e9a204077e1e7c9a1d7988	wrapper	ebaa3beeb43f7e533872b6c37168c7ad	xdg	3ef49a87c52c8b77c476351195dfe575	xdg-utils	42869b3c8d86a70ef3cf75165a395e09
_md5_=212c24dd0637cbdb9ac90c5ddd1f23bc