Gentoo Packages

Search

Install

Install this package:

emerge -a sci-mathematics/eventb-checker

Package Information

Description:

eventb-checker validates Event-B models without requiring a Rodin Platform installation. It bundles the Rodin AST libraries and checks machines and contexts for well-formedness errors.

Homepage:

https://github.com/eventb-rossi/eventb-checker

License:

MIT

Versions

Metadata

Description

• eventb-checker validates Event-B models without requiring a Rodin Platform installation. It bundles the Rodin AST libraries and checks machines and contexts for well-formedness errors.

Maintainers

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

Upstream

• Bugs: https://github.com/eventb-rossi/eventb-checker/issues
• Remote IDs:
  • github: eventb-rossi/eventb-checker

<pkgmetadata>
	<maintainer type="person">
		<email>efremov@linux.com</email>
		<name>Denis Efremov</name>
	</maintainer>
	<longdescription lang="en">
		eventb-checker validates Event-B models without requiring a
		Rodin Platform installation. It bundles the Rodin AST libraries
		and checks machines and contexts for well-formedness errors.
	</longdescription>
	<upstream>
		<bugs-to>https://github.com/eventb-rossi/eventb-checker/issues</bugs-to>
		<remote-id type="github">eventb-rossi/eventb-checker</remote-id>
	</upstream>
</pkgmetadata>

Lint Warnings

• [Error] Manifest entry for unused DIST file 'eventb-checker-1.10.jar'
• [Error] Manifest entry for unused DIST file 'eventb-checker-1.11.jar'
• [Error] Manifest entry for unused DIST file 'eventb-checker-1.12.jar'
• [Error] Manifest entry for unused DIST file 'eventb-checker-1.13.jar'
• [Error] Manifest entry for unused DIST file 'eventb-checker-1.9.jar'
• [Error] Repository is missing a repo-name in metadata/layout.conf or profiles/repo_name
• [Warning] Missing md5-cache for ebuild eventb-checker-1.9
• [Warning] Missing md5-cache for ebuild eventb-checker-1.13
• [Warning] Missing md5-cache for ebuild eventb-checker-1.12
• [Warning] Missing md5-cache for ebuild eventb-checker-1.11
• [Warning] Missing md5-cache for ebuild eventb-checker-1.10

Manifest