%FILENAME%
maude-3.2.1-1-x86_64.pkg.tar.zst

%NAME%
maude

%BASE%
maude

%VERSION%
3.2.1-1

%DESC%
High-level Specification Language

%CSIZE%
1212651

%ISIZE%
3982932

%MD5SUM%
7596e829698108286b7d34d69213a893

%SHA256SUM%
1fc2c13dbe053b6edfb59f224e9363c55a510e6c8b0d68bc0e9456f6d683e1c6

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmLV4ugACgkQeGxj8zDXy5JGSw//fb8PSDQDXCJsfighmVa0Mm4pqDXrEYJkGJHk356dJQtbUhh2y5ZPEDW7fxjZ5vt4yOj3t3AT/pEf4iRSiq7Pqmr2uSxkwzfWF4FxyFPhAKBUz49x5duCEDr03WrJEavET+Xw1bbMxmigPVyolunrzu5PQprKbJFwueX2Tpnkd7foWTJ/T/H+WXdjaOQRnGYwlGZjZ7F9TOeFNnu+BVbMOI7o8ifG4W0/rtf7gt1ThfiFIcNtsHE8A7dFu+LIlo7TNTqgR0/HX77FzsVcSkKQmFBteplsn0lfmNCRqbtwpJr2O1UfsRL664JibUO0YE0uVLyLg7YLFEYDxp4dMe/h+VBl6sIJIBUqKPU403qNlPqrio+htvdsMRD9xaDOe5FLYdZ3G3ITmOn24hhjLAnF8w5Mpj2431/WpsI6zltAb9GBUDm+s6o1JrnQCPuo4nSmE4A/mlVOAtEVV1WnzdW6EdLI1nKjLsLJLMl+HDynIjdAJ7Doq1c0DXsNq4CpF2ovNuzfy4mR6pcpq41m1Kmz9XZzsUrCHLxntnDNLY2BQ35vywhrMaLN/xr+Ymal+UjYloEpzjjxgkxZ8jqmvjXZYsjRYSgVxpy7eASAlpqWJECLY/FStA9QJAqLIMh876cjiz/6mZmCZ737OZ0Q9N0orWNgsnTG5nP5ptq+evzOU+4=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1658184200

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
buddy
cvc4
libtecla
gmp
libsigsegv
yices

%MAKEDEPENDS%
flex
bison

