Gentoo Packages

Search

Install

Install this package:

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

Package Information

Description:

eventb-to-txt converts Event-B models created in the Rodin Platform (.bum and .buc files) to a plain-text CamilleX-like format. Compatible with Rodin 3.0 and later models.

Homepage:

https://github.com/eventb-rossi/eventb-to-txt

License:

MIT

Versions

Metadata

Description

• eventb-to-txt converts Event-B models created in the Rodin Platform (.bum and .buc files) to a plain-text CamilleX-like format. Compatible with Rodin 3.0 and later models.

Maintainers

• Denis Efremov (efremov@linux.com) - Type: person

Upstream

• Bugs: https://github.com/eventb-rossi/eventb-to-txt/issues
• Remote IDs:
  • github: eventb-rossi/eventb-to-txt
  • pypi: eventb-to-txt

<pkgmetadata>
	<maintainer type="person">
		<email>efremov@linux.com</email>
		<name>Denis Efremov</name>
	</maintainer>
	<longdescription lang="en">
		eventb-to-txt converts Event-B models created in the Rodin
		Platform (.bum and .buc files) to a plain-text CamilleX-like
		format. Compatible with Rodin 3.0 and later models.
	</longdescription>
	<upstream>
		<bugs-to>https://github.com/eventb-rossi/eventb-to-txt/issues</bugs-to>
		<remote-id type="github">eventb-rossi/eventb-to-txt</remote-id>
		<remote-id type="pypi">eventb-to-txt</remote-id>
	</upstream>
</pkgmetadata>

Lint Warnings

• [Error] Missing md5-cache for ebuild eventb-to-txt-1.7

Manifest