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.10/rodin-3.10.0.202607010932-881664d81-linux.gtk.x86_64.tar.gz
_eclasses_=desktop	e447b5f77146d69797e9f03ff177f3f1	optfeature	58cc13bdc4e9a204077e1e7c9a1d7988	xdg	3ef49a87c52c8b77c476351195dfe575	xdg-utils	42869b3c8d86a70ef3cf75165a395e09
_md5_=d1c9aa2d113802f5266196c5eaf4d5b7