Gentoo Packages

sci-mathematics/eventb-to-txt - 1.7 (eventb-rossi)

Search

Install

Install this version:

emerge -a =sci-mathematics/eventb-to-txt-1.7

If this version is masked, you can unmask it using the autounmask tool or standard emerge options:

autounmask =sci-mathematics/eventb-to-txt-1.7

Or alternatively:

emerge --autounmask-write -a =sci-mathematics/eventb-to-txt-1.7

Package Information

Description:
Convert Rodin Event-B models to plain-text format
Homepage:
https://github.com/eventb-rossi/eventb-to-txt
License:
MIT

Ebuild Details

Version EAPI Keywords Slot
1.7 8 ~amd64 0
View Raw Ebuild 
# Copyright 2026 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2

EAPI=8

DISTUTILS_USE_PEP517=setuptools
PYTHON_COMPAT=( python3_{12..15} )

inherit distutils-r1

DESCRIPTION="Convert Rodin Event-B models to plain-text format"
HOMEPAGE="https://github.com/eventb-rossi/eventb-to-txt"
# The GitHub tarball ships the complete test suite, unlike the PyPI sdist.
SRC_URI="https://github.com/eventb-rossi/${PN}/archive/refs/tags/v${PV}.tar.gz -> ${P}.gh.tar.gz"

LICENSE="MIT"
SLOT="0"
KEYWORDS="~amd64"

EPYTEST_PLUGINS=()
distutils_enable_tests pytest

Inherited Eclasses

distutils-r1

Manifest for 1.7

Type File Size Source URLs
DIST eventb-to-txt-1.7.gh.tar.gz 10803 bytes https://github.com/eventb-rossi/eventb-to-txt/archive/refs/tags/v1.7.tar.gz