%FILENAME%
maude-3.5-1.0-i686.pkg.tar.zst

%NAME%
maude

%BASE%
maude

%VERSION%
3.5-1.0

%DESC%
High-level Specification Language

%CSIZE%
1280875

%ISIZE%
4138234

%MD5SUM%
643525acce02ad9ae9a6b57ee81c70a3

%SHA256SUM%
8882987659132ecef8e0c584d4e447ba94db8ff3ebd0cea0397a3cc1470ceef8

%PGPSIG%
iQEzBAABCgAdFiEEFhlKgiMenvgjViGByOj1oK+bp+cFAmiyTdIACgkQyOj1oK+bp+c1fwf+KowT6gwzS5nRQiExsS7ENfO3RS5B83Z+C4FzQ6TOg+ec3kQuEiot2zjcg99NZkVXdtJG5bvifVupWCT0WTWeht8z6/lDbU9oTC2j2zaWoYLQiMYtrN42/p/cQbuTRBR2MJaRTU5LMeGDlOuSY7GkeYUidxFlZQKm5N2f30+MiCsh9HlA7jTfhw2x6yFSnDY/UaLM29EDdL1ENmMCc2Gpk62YS7fOvvNuDI9uHSgrkuRLeBwRHZVNtdzzvThMYEZHzs9mDx7YiXZQQlw+VOcIn01KpG6Tunh75K4I2/ZeVCa4MuE3FrZhfre7K0iYAdrQjmhqLhlSAQpTzIWbnYegNw==

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

%LICENSE%
GPL

%ARCH%
i686

%BUILDDATE%
1756515415

%PACKAGER%
Andreas Baumann <mail@andreasbaumann.cc>

%DEPENDS%
buddy
cvc4
libtecla
gmp
libsigsegv
yices

%MAKEDEPENDS%
flex
bison

