%FILENAME%
maude-3.3-1.1-x86_64.pkg.tar.zst

%NAME%
maude

%BASE%
maude

%VERSION%
3.3-1.1

%DESC%
High-level Specification Language

%CSIZE%
1430185

%ISIZE%
4655413

%SHA256SUM%
e123a64599c00fb41c2e43cc8a9ac95e5a75daba7ca52d78f920cf49d611bf70

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1704789328

%PACKAGER%
CachyOS <admin@cachyos.org>

%DEPENDS%
buddy
cvc4
libtecla
gmp
libsigsegv
yices

%MAKEDEPENDS%
flex
bison

