%FILENAME%
maude-2.7.1-3-aarch64.pkg.tar.xz

%NAME%
maude

%BASE%
maude

%VERSION%
2.7.1-3

%DESC%
High-level Specification Language

%CSIZE%
892296

%ISIZE%
3760128

%MD5SUM%
a8224e17251e4516ef980d3e2930a500

%SHA256SUM%
51fb74c991c7a5f82d44c395aa694544407aa4063332cb28ff8d495d3c0157c7

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAluNV2MACgkQdxk/FSvb5qZowBAAlmQ9wQ0iwyUFgyZwYNIsmJpL/K2W8eFKoUhHHTcg4mVc0Gj5AXXeugUGJbZJJWCxuJeg0y0R1m3uW5hrbtG6lrRtVMVLPEK73dcdNaIgZGSXmey8Byae1eUlrR3uCdb6RN74eXo4/sRmycnQXUbphN/OYbp9W4cXhgmZz86z+czxAidcF88UNFySIK7okdhFxbTk+6fLgxgKokRKPO2UFHx+TSJg8WSLHb/fkrOjxkGYf/cUx2UfBSFDdD4VMGNSllhueL3fOkXer8qfegDYmtMl0AqpZh2uadFyrRflYMa6xLPnBfZOcprhMqJVzbB73kmNAw3XmgzlSJshtcIQp4BEFrq3FEx+klAInkhnw83BIpsOdO2wrNhoL0moAvnlU86tXY0KyyNmnZtsYRTQjFZzig5g5G/N0YM1aVzgBCRzcobB/Z0RgyXVkRoR5lyn9qIByhu38SwWZohYEfmLHQOVbHOD7L8XrNitVHnnrhOM/FQ1NIy7e1XIvNeTog1jjxCpSLxIIaLKCAup+zVyUx8bh11T1zmF3Yx4u8IqlYfqr3anud3PcB+VeAw3Uz+tgxUsi4fixqNhjLL4HeLRhZtIlEP0gEVV6byoyht/adV+yxMxNg33Fib8tQVGOSjkIXhzglxmPtY5DG2ghvoNg55G7sTXeDjYdRbAKYUieBE=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1535989235

%PACKAGER%
Arch Linux ARM Build System <builder+seattle@archlinuxarm.org>

