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

Runtime Dependencies

maude-2.3.0

sci-libs/buddy
dev-libs/libtecla
>=dev-libs/gmp-4.1.3

maude-2.1.1-r2

virtual/libc
sci-libs/buddy
dev-libs/libtecla
>=dev-libs/gmp-4.1.3