DEFINED_PHASES=install preinst prepare setup unpack
DEPEND=>=dev-java/java-config-2.2.0-r3
DESCRIPTION=Event-B tool for code generation and documentation
EAPI=8
HOMEPAGE=https://codeberg.org/viklauverk/EventBTool
KEYWORDS=~amd64
LICENSE=AGPL-3+
RDEPEND=>=virtual/jre-22:* >=dev-java/java-config-2.2.0-r3
SLOT=0
SRC_URI=https://github.com/viklauverk/EventBTool/releases/download/v1.5.0/evbt -> evbt-1.5.0.jar
_eclasses_=java-pkg-2	438c2725ea326202d7fc1eb31af76813	java-utils-2	b41327d85d12ce816943cf4d344add19
_md5_=626407f058dc89efe2c7ce320904ce14