Gentoo Portage Overlays - dev-lang/maude

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