%FILENAME%
maude-3.5-1.0-pentium4.pkg.tar.zst

%NAME%
maude

%BASE%
maude

%VERSION%
3.5-1.0

%DESC%
High-level Specification Language

%CSIZE%
1289043

%ISIZE%
4146426

%SHA256SUM%
f3c20289e7438b03b56a15b0db96b1ea46dd03360a0a0eca38c17e51f18dd0a8

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

%LICENSE%
GPL

%ARCH%
pentium4

%BUILDDATE%
1755390639

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

%DEPENDS%
buddy
cvc4
libtecla
gmp
libsigsegv
yices

%MAKEDEPENDS%
flex
bison

