Search Portage & Overlays:
Newest
News
Repository news
GLSAs
Browse
USE Flags
Overlays
More...
dev-lang
/maude
High-level specification language for equational and logic programming
Screenshots
https://maude.cs.uiuc.edu/
maude-3.1-r1
~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux
doc examples
View
Download
Browse
License: GPL-2
Overlay:
gentoo
ChangeLog
USE Flags
Dependencies
Reverse Deps
Related Bugs
Runtime Dependencies
maude-3.1-r1
dev-libs/gmp
:=[cxx
(+)
]
dev-libs/libtecla
sci-libs/buddy