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

%NAME%
maude

%BASE%
maude

%VERSION%
3.5.1-1

%DESC%
High-level Specification Language

%CSIZE%
1362348

%ISIZE%
4275101

%SHA256SUM%
628a29b2d93deb18432f7e1757802d1b7ec08bf989c9a75001050f3c3c402e4b

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmpn32oACgkQrx0hme8KPM/P1hAAqcHnSipWvGv1FbPQBSMbk5I8FP0VySA2rrTjdYFwdj/jnCLMzBfji44DM89XVyueHJCcvf5pRHV5pj8D4jvI593gZtOvV/hz9kxzFCqfYwjX2lauGx2RnSfFTnAj6oYPFyHasSlXlrTC4G2iSAIKpsKKQhUNehJYLFSy0GsmZhzWOTAVc7XQxHKzcwpKEwbDN1Morba1nsQx/K9EnVpuu67VVwrHfrGxeS03b2f40c7SzZzMBlgyeGhDXAfv1HbBca+fkEa6grj8IJaMs9UZH5dBUnaeiUTi3FIDOdersvExN7cFr+ox3CabXm+LZz75f/z8LHzT6OXcpWK0q7hRPEqXZBDeK9nFo3/TUAkhZO4UOgu/uifqbrqoERy+yMW20KmdFE9CB5BFTvAWEGKEuX1kKnjummAohrsmnMhngSCCIMbjNEjzJgeExbukakxMSkLUxFnhdWxKAxeVizYa9OTYd6Sfg1s4DLu2pSLrpbAda3YkUoPR3wHZPVdW0hRgbhqlUs+uI97TIUCqIU3nBzVI4EQsxdN1ocS2Ii4PgT9bmPQXb3vzb1hG1fKmy9zKGPNN1L0xepOERjWmXQoND7CYOFMja+2oCbbeydeKpWjQ5Op18TmwxT5e0mvZtCHGTrYE0pvVH7Th3zFkEgrv4573MY7Oze0sRgEz1ZJ77k4=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1772479873

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

%DEPENDS%
buddy
cvc4
libtecla
gmp
libsigsegv
yices

%MAKEDEPENDS%
flex
bison
git

