%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%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoEMsACgkQrx0hme8KPM9h9w/9H7mkeepVOJmQxzF7+5V4WCf50N4KhGf6tCNed0/QVajlpMrsCEEhBIUELifL+2hR+NQGLOanzYbR+j0jfAWHHH2KXVpvXBJpEiKOcjCL0RA1iXTqjr21yIFlUKfwj73juPDy26AnHygHaT4HMTngHy6s+BwvQgjoHhKkqFgO0C4oofv27oO9XAv9ChB3L2fSl++t9Pj1AescNIAb71EN5rusFfgyfXociIExmPsYAKwXMMcIoSw1JX4ZUs1FTlbk5koLQ7UGwSMfL7Eiddu79QDuY07pMKXtACoRyjVPazwlxtrYWs+ZTfKuBNA/9vm/tklCwiq3nb7roj5kT//OkqByXT6KDUOHDlykGmcQZq/V0BOLmM19jZ+jQyARyGY3HADPS+KaFF+WlpGJ6xB61fxagEq6u6aXfe3wQERLn5HIwiq7u+tqcDJvddH1sA2IQQ+1At0YwQjakjivmnwtdI7zzS6vDP5XIbtQPkcvacHfN3xkixJAWnVQNVGLFS4NBDIHb+cjKHC6h6GZYHx5snyT2BV3s7DdI+lE5XIsJe78mcnDQ80a0sk1lKZy4JUwyOz6uq3RcvoKQYm2OhL0z5vMITK0JeEgc9LkJyy8miq+lC3ePVQQd/hOz/r1so23QZ4F53AompH59LIWFzMLDwvRN2z8gPCyON6606E6uLE=

%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

