sci-mathematics/eventb-to-txt
Convert Rodin Event-B models to plain-text format
Screenshots
-
eventb-to-txt-1.7~amd64test python_targets_python3_12 python_targets_python3_13 python_targets_python3_14 python_targets_python3_15
View 
Download 
Browse License: MIT Overlay: eventb-rossi
ChangeLog
commit d4aa1c2f52d95201a54ad9b28314c8d3fb44982f
Author: Denis Efremov <efremov@linux.com>
Date: Sun Jun 7 13:29:28 2026 +0400
sci-mathematics/eventb-to-txt: new package; add 1.7
Convert Event-B models created in the Rodin Platform to a plain-text
CamilleX-like format. Pure-Python tool built from the GitHub release
tarball, which, unlike the PyPI sdist, ships the complete test suite.
Signed-off-by: Denis Efremov <efremov@linux.com>
Author: Denis Efremov <efremov@linux.com>
Date: Sun Jun 7 13:29:28 2026 +0400
sci-mathematics/eventb-to-txt: new package; add 1.7
Convert Event-B models created in the Rodin Platform to a plain-text
CamilleX-like format. Pure-Python tool built from the GitHub release
tarball, which, unlike the PyPI sdist, ships the complete test suite.
Signed-off-by: Denis Efremov <efremov@linux.com>