Gentoo Portage Overlays - sci-mathematics/rodin

Newest News Repository news GLSAs Browse USE Flags Overlays More...

sci-mathematics/rodin

IDE for formal modelling and verification with Event-B

Screenshots

https://www.event-b.org/

rodin-3.10.0_rc2

-* ~amd64

View

Download

Browse License: EPL-1.0 EPL-2.0

Overlay: eventb-rossi

rodin-3.9.0

-* ~amd64

View

Download

Browse License: EPL-1.0 EPL-2.0

Overlay: eventb-rossi

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

Runtime Dependencies

rodin-3.10.0_rc2

>=virtual/jre-17:*
x11-libs/gtk+:3

rodin-3.9.0

>=virtual/jre-17:*
x11-libs/gtk+:3