%FILENAME%
maude-3.5.1-1.1-x86_64_v4.pkg.tar.zst

%NAME%
maude

%BASE%
maude

%VERSION%
3.5.1-1.1

%DESC%
High-level Specification Language

%CSIZE%
1584303

%ISIZE%
5180309

%SHA256SUM%
328a4864d2874a4b8e6c804f89cadec2bef28c145997ee4bd7039951ac2d93d0

%PGPSIG%
iQGzBAABCgAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmml6BkACgkQ87YHSI2zWkeIsQwAjiyhFSF5/ni9CbtOChUVZmqSWceyULZt+Q4cxSgMaLggppMmo0gzRUdwLgbU+J9+DoTzev+TckjnkNJBCsM6Tfyfci+M3PLk7bV5IOBYcj8Qc15vMUBiSvG+Vi/lh/JXOfvHa1qTQd8UnYE9V604tRzlJtHThuGUrr6cnvOIxa+AmrfN+4DKlWGf5lA+PphUjlts6N6n2zdTrIzxrgaa4oPcbGKQq8qoP1DSg3qOdcMy1aiE3QHq1zA0VdWWb3WxMgdLgYHx3K6S3kT+gXgY+FT0ljo/Nt1StOfs2aGoTkJor60w7YdFtf7mxihKzsyUxb41II12+YLZWy1BevgZAJ5reBk7MwZ9MvweXF9tzurz4u5UiZiACo573WJJhzqRI7bIKKlEgPoeqrPiPHuIr0an/DcH+LbOIuKv1qI7j2ZJsyYCiMP0LgqWM0DqSK5hAtNeTLZVuzoGmzMGGd1AH/DINbJHbo2PtCYnuF03t7WZSPVTxOZbPdV7dA7VJdal

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

%LICENSE%
GPL

%ARCH%
x86_64_v4

%BUILDDATE%
1772480413

%PACKAGER%
CachyOS <admin@cachyos.org>

%DEPENDS%
buddy
cvc4
libtecla
gmp
libsigsegv
yices

%MAKEDEPENDS%
flex
bison
git

