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

%NAME%
maude

%BASE%
maude

%VERSION%
3.1-1

%DESC%
High-level Specification Language

%CSIZE%
1259141

%ISIZE%
4285493

%MD5SUM%
fa073ceef103d9dc282bea7c93ec7753

%SHA256SUM%
809c3d39083643b8603075a4793be46a3b599d226daa335152d27aced78c3a44

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAl+aj48ACgkQeGxj8zDXy5I15RAAjCe448W/Wz4DlZ1HkDd0UECbrhhOGd5Nk6LFFbKefjbSuk7xIzvU5aq7kuckG9fxwiRb6NBXHwzQ3TxLAZ7xRml8e7xMQb2C7PhYg1AExt62SSbpKKKSrd80gTo0wI3E7ITEo0gYeYXiFkRbb6nhOgjmH6TpixwOrO/1uf6U3Mt/SBuIRw0oS+ewEM1X1+7kfq8Q00jHu3I+YqJLZnlcf/rp/hjWnb7j3Ec+/CibR67E1gPBz82+x/G1nglUR8nB3eWFYE8mrVGDnx/e3+dAn4kQRylTAOFIyeJO/doaMqdX7sCv6VMmhOXX8VEC2J+XpZ4d9fWp46tpntsJCxgGORc7xcd5lWqrEO5MQiiEGxGUtjHp6UKN/ZBEYlgdybgCqfsl+XTHzd3so5r2sLIJVTDsdMc9g8XFfRzv8eKA7cUebFt9mdD8j5Gtfa5tJL5TZpW6Uz2+QBjwZo/PQDaU48q3GY+K8xPL0W2zlfxUiEQuFRqgNfkrFlrw2vCqQkuiq9esrvMMeWaqqiohiUyqTYUut/K1gosG4qSGcwLWXYPg5F+FAYZOlZuVQpcXoycKQiOfdElQLlmmXShQ1oP4485qQzCPR8vmF2z9IIVtnAlMRjvCqdws+8IexTBL5X6gN2oPoXCOSYnm9y8l/T4zuJcpOI7tu4sADTY9J4eXSCk=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1603964437

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

%DEPENDS%
buddy
cvc4
libtecla
gmp
libsigsegv

%MAKEDEPENDS%
flex
bison

