%FILENAME%
maude-3.5.1-1-aarch64.pkg.tar.zst

%NAME%
maude

%BASE%
maude

%VERSION%
3.5.1-1

%DESC%
High-level Specification Language

%CSIZE%
1572428

%ISIZE%
4221869

%SHA256SUM%
91a378a7a4f282e6f5a4c1ac2406f984c9a224e30e03a1b0fff39c40ce36eb56

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1777643957

%PACKAGER%
Ben Schneider <ben@bens.haus>

%DEPENDS%
buddy
cvc4
libtecla
gmp
libsigsegv
yices

%MAKEDEPENDS%
flex
bison
git

