DEFINED_PHASES=compile install postinst
DESCRIPTION=Headless toolchain to build, model-check, and prove Rodin Event-B models
EAPI=8
HOMEPAGE=https://github.com/eventb-rossi/rodin-headless
KEYWORDS=~amd64
LICENSE=MIT
RDEPEND=>=virtual/jdk-17:* app-arch/tar app-arch/unzip app-arch/zip net-misc/curl x11-base/xorg-server[xvfb] x11-libs/gtk+:3
SLOT=0
SRC_URI=https://github.com/eventb-rossi/rodin-headless/archive/refs/tags/v4.0.tar.gz -> rodin-headless-4.0.tar.gz
_md5_=b6b3942bcbfc8c2a5c7077ab39a0b9db