Gentoo Packages

sci-mathematics/rodin (eventb-rossi)

Search

Masked: This package is masked.

Reason: Rodin Platform release candidates, masked for testing only. Unmask in /etc/portage/package.unmask to try them out.

Masked by Denis Efremov on 2026-06-07

Install

Install this package:

emerge -a sci-mathematics/rodin

Package Information

Description:
The Rodin Platform is an Eclipse-based IDE for Event-B that provides effective support for refinement and mathematical proof. Event-B is a formal method for system-level modelling and analysis.
Homepage:
https://www.event-b.org/
License:
EPL-1.0 EPL-2.0

Versions

Version EAPI Keywords Slot
3.9.0 8 -* ~amd64 0
3.10.0_rc2 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">
		The Rodin Platform is an Eclipse-based IDE for Event-B that
		provides effective support for refinement and mathematical
		proof. Event-B is a formal method for system-level modelling
		and analysis.
	</longdescription>
	<upstream>
		<doc lang="en">https://wiki.event-b.org/</doc>
		<bugs-to>https://sourceforge.net/p/rodin-b-sharp/bugs/</bugs-to>
		<remote-id type="sourceforge">rodin-b-sharp</remote-id>
	</upstream>
</pkgmetadata>

Lint Warnings

Manifest

Type File Size Versions
Unmatched Entries
Type File Size
DIST rodin-3.10.0.202605210654-RC2-881664d81-linux.gtk.x86_64.tar.gz 118903894 bytes
DIST rodin-3.9.0.202406100806-9b87fe13d-linux.gtk.x86_64.tar.gz 111839598 bytes