Gentoo Packages

Search

Package Information

Description:

Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications. Maude has been influenced in important ways by the OBJ3 language, which can be regarded as an equational logic sublanguage. Besides supporting equational specification and programming, Maude also supports rewriting logic computation.

Homepage:

https://maude.cs.uiuc.edu/

License:

GPL-2

Versions

Metadata

Description

• Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications. Maude has been influenced in important ways by the OBJ3 language, which can be regarded as an equational logic sublanguage. Besides supporting equational specification and programming, Maude also supports rewriting logic computation.

Maintainers

• Gentoo Science Project (sci@gentoo.org) - Type: project

Upstream

• Remote IDs:
  • github: maude-lang/Maude

<pkgmetadata>
	<maintainer type="project">
		<email>sci@gentoo.org</email>
		<name>Gentoo Science Project</name>
	</maintainer>
	<longdescription>
		Maude is a high-performance reflective language and system supporting
		both equational and rewriting logic specification and programming for a
		wide range of applications. Maude has been influenced in important ways
		by the OBJ3 language, which can be regarded as an equational logic
		sublanguage. Besides supporting equational specification and
		programming, Maude also supports rewriting logic computation.
	</longdescription>
	<upstream>
		<remote-id type="github">maude-lang/Maude</remote-id>
	</upstream>
</pkgmetadata>

Lint Warnings

• [Warning] Ebuild 3.5.1 uses IUSE flag 'examples' which is not documented in metadata.xml. Add the flag to metadata.xml <use> section.
• [Warning] Ebuild 3.4 uses IUSE flag 'examples' which is not documented in metadata.xml. Add the flag to metadata.xml <use> section.
• [Warning] Ebuild 3.3.1 uses IUSE flag 'examples' which is not documented in metadata.xml. Add the flag to metadata.xml <use> section.
• [Warning] Ebuild 3.2.2 uses IUSE flag 'examples' which is not documented in metadata.xml. Add the flag to metadata.xml <use> section.
• [Warning] Ebuild 3.1-r1 uses IUSE flag 'examples' which is not documented in metadata.xml. Add the flag to metadata.xml <use> section.
• [Warning] Missing md5-cache for version 3.5.1. Run 'ebuild <ebuild_file> manifest' or 'egencache' to generate it.
• [Warning] Missing md5-cache for version 3.4. Run 'ebuild <ebuild_file> manifest' or 'egencache' to generate it.
• [Warning] Missing md5-cache for version 3.3.1. Run 'ebuild <ebuild_file> manifest' or 'egencache' to generate it.
• [Warning] Missing md5-cache for version 3.2.2. Run 'ebuild <ebuild_file> manifest' or 'egencache' to generate it.
• [Warning] Missing md5-cache for version 3.1-r1. Run 'ebuild <ebuild_file> manifest' or 'egencache' to generate it.

USE Flags

Files

• maude-2.6-search-datadir.patch
• maude-2.7-AR.patch
• maude-3.1-curses.patch
• maude-3.1-prll.patch
• maude-3.2.2-fileTest.patch
• maude-3.2.2-prll.patch
• maude-3.4-search-datadir.patch

Manifest