gentoo.mahdi.cz
dev-lang
:maude
High-level specification language for equational and logic programming
https://maude.cs.uiuc.edu/
maude-3.1-r1
GPL-2
download
~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux
gentoo