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/
KEYWORDS=-* ~amd64
LICENSE=EPL-1.0
RDEPEND=dev-lang/tk dev-libs/gmp sys-apps/util-linux >=virtual/jre-1.8:*
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	26d57169ca094c04be416993844ec8bc	optfeature	538bce96e5589935b57e178e8635f301	wrapper	ebaa3beeb43f7e533872b6c37168c7ad	xdg	3ef49a87c52c8b77c476351195dfe575	xdg-utils	42869b3c8d86a70ef3cf75165a395e09
_md5_=4b1a3740e6fc11bfb16c7ab069a20a3d