sci-mathematics/b2program (eventb-rossi)

Search

Install

Install this package:

emerge -a sci-mathematics/b2program

Package Information

Description:
B2Program generates code in Java, C++, Python, Rust, and TypeScript from high-level B models.
Homepage:
https://github.com/favu100/b2program
License:
all-rights-reserved

Versions

Version EAPI Keywords Slot
0.1.0_p20260512 8 ~amd64 0

Metadata

Description

Maintainers

Upstream

Raw Metadata XML
<pkgmetadata>
	<maintainer type="person">
		<email>efremov@linux.com</email>
		<name>Denis Efremov</name>
	</maintainer>
	<longdescription lang="en">
		B2Program generates code in Java, C++, Python, Rust, and
		TypeScript from high-level B models.
	</longdescription>
	<upstream>
		<bugs-to>https://github.com/favu100/b2program/issues</bugs-to>
		<remote-id type="github">favu100/b2program</remote-id>
	</upstream>
</pkgmetadata>

Lint Warnings

Manifest

Type File Size Versions
DIST b2program-0.1.0_p20260512.tar.gz 17562296 bytes 0.1.0_p20260512
Unmatched Entries
Type File Size