%FILENAME%
maude-3.5-1.1-x86_64_v3.pkg.tar.zst

%NAME%
maude

%BASE%
maude

%VERSION%
3.5-1.1

%DESC%
High-level Specification Language

%CSIZE%
1554373

%ISIZE%
4937718

%SHA256SUM%
ff92602cc3b73636af4fe7204cca290837c6bc4594247bcc215f0471624afffa

%PGPSIG%
iQGzBAABCgAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmhoWYYACgkQ87YHSI2zWkf8mwv/Sp4hWZ+WYNmPtGbMzomDQSNpPJMD551oJ0A6evyl4/nMKFPcPbmsPntFLON+/ks+HiARpxpYDuJsZ2V1r6htXZjE8Vr3ucr2GwizYVnzf/06ybQgR31d7hf6NGhOvFUkRO0r0iF8TjWBQwN790v0U0UHz0a54+QnSg0kqVl4jpSFCfKkAyVeKiHSRxWQUXicLqyVDZ6Nqb5g6L/QzWvLe9fqFaQuWE9O5wHAadQA5orI2qQgpZ59lPo/lD2nu1QEhGrY3WeYwlRj4mQMFhkmDSmBmSYXcTkYJyK4zijy7X50L/WeT2IsUsQX2HEFtFsZvZQRFbY5rofd7GTWMkCtQ2xF6cyo1TZRzR5wDaBpXTDj4RobJcfSg/z3fmRYMhpKIVVL/stOphjIJ8VLz4XNcujYn0hnQEEzUfVdWWLu82IBpNY7Cgd19qpSWSRjUlEENoDOQGHjfVdBiHDypJ6aJY4alU0uSeA2f6VW8W2FDo9IR5NPgI1cilj+ZbJJeuj9

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

%LICENSE%
GPL

%ARCH%
x86_64_v3

%BUILDDATE%
1751668996

%PACKAGER%
CachyOS <admin@cachyos.org>

%DEPENDS%
buddy
cvc4
libtecla
gmp
libsigsegv
yices

%MAKEDEPENDS%
flex
bison

