%FILENAME%
maude-2.7.1-1-armv7h.pkg.tar.xz

%NAME%
maude

%VERSION%
2.7.1-1

%DESC%
High-level Specification Language

%CSIZE%
746108

%ISIZE%
2961408

%MD5SUM%
b74a60f044a19df9b4c418e2e1bacbbc

%SHA256SUM%
7ee5617cab1ef5672e826ecd9f86701ed43676fd5ba9320058db422e5659d203

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlmHcgEACgkQdxk/FSvb5qatKw//VQuQ4k5WuGEyDg1GOSxbMuLgx6CfisoBfb646o/r0amC0yNAwLidzQS+P9xz87bgEtqSMoULA/B5/O2xw5OBv8vJJmS4eLM7JLN1hbdCtDfThEiZhE7RVobcTINemAi4tDgUroiD46lUawm9P1S1NoWctMwaK7ALTv2NBBMP0fGSDurMtpunvG+DGniZtSToknz+kJlfe1La4qHDmiQCuTVjFUzIVy0ssd4WZkOipQgZn7rup0J8lMYT3eo5/QMVKXx/C6U+O7e1aEQp/X8McmIbwNhi3mYaPM3y+JGb3QSqsUC37ZxC4hG1ZjqabEwZVrb2Cx/HJlK6pL6HucpfUEPK7ZE9h/+I35JHLAEGHi78b6Z7Ms1awomtdNtThTO4d+CcxHDvqDgIVGAlem4sHNaCm/nl86nGCTgxi53p78cvrRfVvOkjoo+oiPIXE7Y0dcO3eLfnVfiHTSrw4IPyfQKnNJ21IaQyEg/zII77X7tnb1YsCYpVy8ubIHy1GG74Ig0J8R6hkE1+yND0fqPi62bRwRSkWAjwNeP9BTtp/i1y4Cw4UFRo243N7RWSFUmnDWo90DBMANaB8Y8+argW9b0+HPoz8Hlnej6OuS1TKJBGh0F5VmJdgzTzeOJQkfErcMqvGrCDiamxgROL014aMSPrbQaQbkR0TDFn83vUUhA=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1502048762

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

