DEFINED_PHASES=install postinst postrm preinst
DESCRIPTION=IDE for formal modelling and verification with Event-B
EAPI=8
HOMEPAGE=https://www.event-b.org/
KEYWORDS=-* ~amd64
LICENSE=EPL-1.0 EPL-2.0
RDEPEND=>=virtual/jre-17:* x11-libs/gtk+:3
RESTRICT=strip
SLOT=0
SRC_URI=https://downloads.sourceforge.net/rodin-b-sharp/Core_Rodin_Platform/3.9/rodin-3.9.0.202406100806-9b87fe13d-linux.gtk.x86_64.tar.gz
_eclasses_=desktop	26d57169ca094c04be416993844ec8bc	optfeature	538bce96e5589935b57e178e8635f301	wrapper	ebaa3beeb43f7e533872b6c37168c7ad	xdg	3ef49a87c52c8b77c476351195dfe575	xdg-utils	42869b3c8d86a70ef3cf75165a395e09
_md5_=de25c10ec83fa83f0258c5b31260ed82