%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%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmml5xkACgkQeGxj8zDXy5JO3Q//bjTfrW261Xzf+BGcbFFcIw54uKl/I8iw1D0RvUL3XRZqfeicytVHB98cbzeoHUyFX3JwW87B4RsrG0V2x5IYKD6ufy4jiFp3XOBxWHu726SUE552+NjwLVgAgZK7IltO6zilKuh2JtOK4wrcpCyd5v2Th2LT01jPidv7TtB620YS6TFZGJ3L6bO01j7q3NPMdRnCnt5N5NGTgTrTJ9t2G4byaga+mIjQyWri1Ap+35YlsxLaVNYQci86W+jc7BD3v6zvVk92IuhXHkngKTMRayguK+9LwqBZNXQjs+NxEnvWmp7wGOK96J1vzg3cFpFFmwaZDuTpDIoZMY4Y29s9OP9vp92Ww9jF+cGzRk0mbWEwxerQklVY72a3MeKY3Bhs04Sh9VtLCBBFoa/PLL37K0hvJ6fqM/Wm0YsdL589l7ODXQ3ZLfkZBJ11xRNnGei38Rsgu4pqbf4Cb+UvN71KqRRLu9eEbMwsULZvnBrZjGlVuQqjllCVQuiTRpzeRVcvNoVXeN8iBJvMKz1JjNYfgH70AeCPMGDO6i0dh6JThg7TyH4UCx61EnzSTHbJWZJHhB5PqG1vw+38PXu82erDXTPp92SX9opdhMhJqph77MfTQO+B9cr+xHyatiNkQTewQYJQeDtFHgzu+3fo7NzVhwlH7iDvLbdi6+6vNEodcus=

%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

