%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%
1579792

%ISIZE%
5208981

%SHA256SUM%
c5851a98e76470526f1f9152ad7310f672794b7f94239205c700c3cb63d90044

%PGPSIG%
iQGzBAABCgAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmml6UQACgkQ87YHSI2zWkfqCQv9H+MT7fPtBeEgQDh6WPmv9Fyb+YjmPvINnhwawqK+kiFUt361MSuiVhgND25SmX7O+LTvkGx7dws4euY8VvgKLrDY5gYRoK8NWl0H5zp9Oa/UUkGfZmEJUB/mF7BmNm7C87AUDV8DND6qTB9OcyoNASNn20x5lw/MqbUYwsNNw58C7QtHl9viFRvOy50gt4fj9/96IIGYX8hmVvIFK3lDaFdpfuAzlwY89tLvGbKVSbU1z+aHD6jbSXT+8WQXWdESn73bt6BJqhEnkfWTZHtgJZMvxyceYP4jXpA+xzAH1bfNawUmMjQpH6v8BU5LQNQKFbSjYeMv26DG5tHPQFMSUc59k6EdLXZS6FPVn8oUG6hj1JeFOqHMDpGgqJZrPRHNQusE3Dh8O+9DcLItfc0xeTEvA3633U8a+iR99BGq7cjw9z+0HPu3bQjyBWVf+FG9U7Bpc0DWFmmGgF6fPnmON2+QP4SEOH19R4ZL3W0Z48rwLk8e4/M9FZTbVxQPAN85

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

%LICENSE%
GPL

%ARCH%
x86_64_v4

%BUILDDATE%
1772480700

%PACKAGER%
CachyOS <admin@cachyos.org>

%DEPENDS%
buddy
cvc4
libtecla
gmp
libsigsegv
yices

%MAKEDEPENDS%
flex
bison
git

