%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%
1560784

%ISIZE%
4966390

%SHA256SUM%
25bf5c319ec8df8cc7c114f422e526a24bd0ce581c5808e21b9906893dd4ee1c

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1751670821

%PACKAGER%
ALHP x86-64-v3 <alhp@harting.dev>

%DEPENDS%
buddy
cvc4
libtecla
gmp
libsigsegv
yices

%MAKEDEPENDS%
flex
bison

