%FILENAME%
maude-3.5.1-1.0-i486.pkg.tar.zst

%NAME%
maude

%BASE%
maude

%VERSION%
3.5.1-1.0

%DESC%
High-level Specification Language

%CSIZE%
1404448

%ISIZE%
4745441

%SHA256SUM%
2cec38ea3a9abea8a31a1f841f3f9baddbabb66bc4a6e1cd1e55ccef009326ca

%URL%
http://maude.cs.illinois.edu

%LICENSE%
GPL

%ARCH%
i486

%BUILDDATE%
1774931836

%PACKAGER%
Andreas Baumann <mail@andreasbaumann.cc>

%DEPENDS%
buddy
cvc4
libtecla
gmp
libsigsegv
yices

%MAKEDEPENDS%
flex
bison
git

