Gentoo Portage Overlays - sci-mathematics/b2program

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

sci-mathematics/b2program

Code generator from B to Java, C++, Python, Rust, and TypeScript

Screenshots

https://github.com/favu100/b2program

b2program-0.1.0_p20260512

~amd64

View

Download

Browse License: all-rights-reserved

Overlay: eventb-rossi

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

Runtime Dependencies

b2program-0.1.0_p20260512

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