Gentoo-Portage - dev-lang/maude

Login Register Language Tools

Newest News GLSAs Search Browse USE Flags More...

dev-lang/maude

Maude - A high-level specification language

Screenshots

http://maude.cs.uiuc.edu/

maude-2.3.0

~x86 ~ppc ~amd64

doc
View Download License: GPL-2
maude-2.1.1-r2

~x86 ~ppc

doc
View Download License: GPL-2

Comments ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

USE Flags

doc

Global: Adds extra documentation (API, Javadoc, etc)