Gentoo Portage Overlays - sci-mathematics/eventb-checker

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

sci-mathematics/eventb-checker

Standalone validator for Event-B models

Screenshots

https://github.com/eventb-rossi/eventb-checker

eventb-checker-1.11

~amd64

View

Download

Browse License: MIT

Overlay: eventb-rossi

eventb-checker-1.10

~amd64

View

Download

Browse License: MIT

Overlay: eventb-rossi

eventb-checker-1.9

~amd64

View

Download

Browse License: MIT

Overlay: eventb-rossi

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

Runtime Dependencies

eventb-checker-1.11

>=virtual/jre-21:*
>=dev-java/java-config-2.2.0-r3

eventb-checker-1.10

>=virtual/jre-21:*
>=dev-java/java-config-2.2.0-r3

eventb-checker-1.9

>=virtual/jre-21:*
>=dev-java/java-config-2.2.0-r3