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

%NAME%
maude

%BASE%
maude

%VERSION%
3.3-1

%DESC%
High-level Specification Language

%CSIZE%
1254866

%ISIZE%
4106477

%MD5SUM%
82231704e78654d3fbe8d0bd33866b33

%SHA256SUM%
58e2664a38420a39dc535516091c11b36a8f1237b709dddbc7d1ba100a98283d

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmZCb5EUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwbGoRAAsog0IVsgQQYXemD/w/d3+xm0+UMe5HSf6l0pZm3T91t2JtONRlZmM3WPYTqsKMe9GAh8pOhsyHaVUu9IGYxaMK+Z1vu56FODzVt53a1nyERgFNMsoS+KPv6Fva75e4q025VgrQRwDng/TfN1yHscRiVwIhsl4qMiu7lh4mqWt+oYGMQS/NUFr9wJOtCXPAc1QwAtTivSYWZthql74/MJjm3WOUlSdFYHuvjHroAd1THXCn+RAyQ0DsAnoKVDnfM1x9OcJUw7oq1uAm7bz4r6E2zoNiTY+MYwFMStIHF09qnBc5IMWS6H61O6hIbdodarfwmkczCyahUHr/pZ1nPHk+gj2bkjW3PIBfdwYS40b3AfZmWKq7P6WDgIJtOLjV86lfmTeA01W9fw5tlUKSShB3Y369qr61LWE8iiM6237OA8hPpShceww7939v6WdhM1sy7gCTBlFHKCLe2l3jzKI2712+iJQC2FvMUV1m9wmzw2O1S28ja9zU9moVz13itUf4/0QHXR+V/B/+Y5iR1bECBUcmck5r55ghWVbARreOQCGC8MmBytOBVBusjplSYohEwSS50FmoQ1ueSzDOZ07Bz+5gn/8uMu/hRvLONVptynzGkwPUpg8zGv00Lc1gvoQmBkCDzvF2rZjAW/ncndRGTJ2yTOwFZPk5MEMZQQBqE=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1704786066

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

%DEPENDS%
buddy
cvc4
libtecla
gmp
libsigsegv
yices

%MAKEDEPENDS%
flex
bison

