DEFINED_PHASES=install preinst prepare setup unpack
DEPEND=>=dev-java/java-config-2.2.0-r3
DESCRIPTION=Standalone validator for Event-B models
EAPI=8
HOMEPAGE=https://github.com/eventb-rossi/eventb-checker
KEYWORDS=~amd64
LICENSE=MIT
RDEPEND=>=virtual/jre-21:* >=dev-java/java-config-2.2.0-r3
SLOT=0
SRC_URI=https://github.com/eventb-rossi/eventb-checker/releases/download/v1.12/eventb-checker-1.12-all.jar -> eventb-checker-1.12.jar
_eclasses_=java-pkg-2	438c2725ea326202d7fc1eb31af76813	java-utils-2	4fa0be92748bc228f31bd845d285d7f9
_md5_=2dc64d8fcb4f1fefce0850455bc10b6a