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

%NAME%
maude

%BASE%
maude

%VERSION%
3.2.2-1

%DESC%
High-level Specification Language

%CSIZE%
1214351

%ISIZE%
3987130

%MD5SUM%
54c157be8ce21e2d0b76c73ad7dd69bd

%SHA256SUM%
646d5dfab62edfcc7ec0e0ba9c4c7d0d4b516ba21fb8a6d39ed4115a1b635814

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmOl8WQACgkQeGxj8zDXy5LNjw/8CjGFQuikqSN2uAYlIMwlZAKzlOIYqz0jXeXLx8vCEvMR//Ef5+agjMikS2eTfIXWOyOWuYUysrtgghu1g9b0nMg+M0GRnvF+dupuvqm2Tv7fe2Z+vwGYWnfESNhiMBcqY880wY/kW3r4jm4o3YFHVRY657ReN71YFlTREvkw6U02AL06HXd2R5TZ/3qXTlvIG7+8bNGY4VrXvLziAtS5x8cLdurjDqw6qGnVO2MX2Jheqti9wL/kQpps7sDFsSNVrZaZcDZAY+O4o/vUIpeodfHnp9VdYJY2BEdSylwU87o2Go7A5P+IDfBGKJM/capW7A5pukJ/abIQ5p61KRYDELZtIhDNM/hMN3XzakIJ3wLttq1lWfYQrD9RPZGT94IXqUC7t496O3TSemVYuj2uNLj/VtIQ8EX1KRHNw0/luOfzQy9eos56a3vLIPbVjA50FsDHOxnP9mdXNQtXmCA4K1yz+B6SSQvs+d8tbY+aE6A59myPqTJ+sNmyJj4cp7oC85goCD61TabtKHEj5V6VWnS/q9ZM/a07h4YIS4/w+jJ3f/PM8A1gTspt+GZIodINU+F41MlBcMcHiwRCoT9ibf20HuNpDzDf3T7B3wU5DIKhUQfr2zcQbF7ppy6zy0YxzpC+VNb3W0GS4KVkhtwwHQaQ4846aRsRilqSLTw/mCs=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1671819390

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

%DEPENDS%
buddy
cvc4
libtecla
gmp
libsigsegv
yices

%MAKEDEPENDS%
flex
bison

