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

%NAME%
maude

%BASE%
maude

%VERSION%
3.5.1-1

%DESC%
High-level Specification Language

%CSIZE%
1364335

%ISIZE%
4275101

%SHA256SUM%
431b4caf7cc8a6de6a6b1d8eb3f0a318cf3d851da70746d32a8a9d4dc672d642

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1772465694

%PACKAGER%
Dmitry Razumov <asmeron@ublinux.com>

%DEPENDS%
buddy
cvc4
libtecla
gmp
libsigsegv
yices

%MAKEDEPENDS%
flex
bison
git

