BDEPEND=app-arch/zstd
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:* media-libs/alsa-lib virtual/opengl x11-libs/gtk+:3 x11-libs/libX11 x11-libs/libXtst x11-libs/libXxf86vm system-prob? ( >=sci-mathematics/prob-bin-1.16.1-r1[ltsmin?] <sci-mathematics/prob-bin-1.16.2 ) >=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.4.0/prob2-ui_1.4.0_amd64.deb -> prob2-ui-1.4.0.deb
_eclasses_=eapi9-pipestatus	d2c134036ac31c3085aebc9147f572bd	java-pkg-2	438c2725ea326202d7fc1eb31af76813	java-utils-2	4fa0be92748bc228f31bd845d285d7f9	multiprocessing	45d0620f25c2f063ad6276ecd9ed9399	toolchain-funcs	58a918e3a42d0156f010dcfd43725be5	unpacker	a89c769f7dcf68bd2a6d23da9ede2ad2
_md5_=1177f4d788755269978cbbe5571149b7