Gentoo Packages

Search

Install

Install this package:

emerge -a dev-racket/rival3

Package Information

Description:

Interval arithmetic for real computation

Homepage:

https://github.com/herbie-fp/rival3

License:

MIT

Versions

Metadata

Upstream

• Bugs: https://github.com/herbie-fp/rival3
• Remote IDs:
  • github: herbie-fp/rival3

<pkgmetadata>
	<upstream>
		<bugs-to>https://github.com/herbie-fp/rival3</bugs-to>
		<remote-id type="github">herbie-fp/rival3</remote-id>
	</upstream>
</pkgmetadata>

Lint Warnings

• [Error] Repository is missing a repo-name in metadata/layout.conf or profiles/repo_name
• [Error] Package has no maintainers defined in metadata.xml
• [Error] Missing or unparsable Manifest file
• Note: category 'dev-racket' is not in the main gentoo categories list