dev-lang/
maude

High-level specification language for equational and logic programming

https://maude.cs.uiuc.edu/

Available Versions

Version amd64 x86 alpha arm arm64 hppa ia64 ppc ppc64 riscv sparc
3.1-r1 : 0 ~amd64 ~x86 alpha arm arm64 hppa ia64 ~ppc ppc64 riscv sparc

Package Metadata