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

%NAME%
maude

%BASE%
maude

%VERSION%
3.5-1.1

%DESC%
High-level Specification Language

%CSIZE%
1582435

%ISIZE%
5175286

%SHA256SUM%
84d756176ad3ff4aed15b543fbe4ea3997e7b9389fb44e8d99d48e8788ea2b5e

%PGPSIG%
iQGzBAABCgAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmhoWYcACgkQ87YHSI2zWkeyXgv+MWbIdn5AMBSQ17riZi8k/GhDh5+HcJX0Ec0HZ/d6CFpLSnoLuYYr0IRAFJVsnC1Ukhm0gBMZBMBZhDcBOEq12QlDCYS1ZZ1h2GD03/vcaMB9cmdQtT8yFyffzW6sqbsq1PykU71jGPOVnQNvs4IQ3TN0Vw4QbgIbFO+HojhITcoxonunjD9gaqsVqGR5sWLInMQm8rErWlb1V/8Y6jT6MWXu0Rz7rpIecQehKu16CmJ1vi8jI6wwyPUG9gSSryEXIB+xiWCeUE6cULPERd6y2c0Y+i9kkZU4D8e1GRGm0j2sJb21PshZLwGnOW4d2iLzyeci/qPatFO6Dyn3CTjiEddtcjqP28uOAyErwC1M4zYUxjD7taeQboh6LsBXEcBQifrVrh/qQsigr7OqdCVZnEo0gHJNzCHs/mQQR+X2gPpLHzj5wucuKNLt3mRUYhYo7t4HTasyNhyGCoV46LSZFN+IELYFLvyetz4BHXl2lznFD2duIL3+QJ6mThn+QptB

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

%LICENSE%
GPL

%ARCH%
x86_64_v4

%BUILDDATE%
1751668996

%PACKAGER%
CachyOS <admin@cachyos.org>

%DEPENDS%
buddy
cvc4
libtecla
gmp
libsigsegv
yices

%MAKEDEPENDS%
flex
bison

