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

%NAME%
maude

%VERSION%
2.7.1-1

%DESC%
High-level Specification Language

%CSIZE%
753640

%ISIZE%
2949120

%MD5SUM%
296e96ef90a158b59a0610ed719d32d9

%SHA256SUM%
a2103ae02a3191e2ff97e9279b8b48f8101c143475e467dababed8ff01cef725

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlmHdM4ACgkQdxk/FSvb5qYm8g/+ND+n/sXKeHiK1O+kkR/M4lCpDKe8Gu/+tzEyrsduda1upu6Y9jGNUGVLs+/fGLY6FyacXrhbJJWMGf9bVw1QmIWlrk2uZS+8XuXNSt7WnUHTAEVsIzrbGO5CsPvaM6tAqdiCAhp7wCPxFa8xs6B5zNqOMQyfgzSRu7mVqkrxOpXXa+iiukehikHciHhl7jzRkzgh3JV6TBP3/2pYFXvBjmOvJIfZCVMaL9vVSaLrPeLF8tyPoGXj5UrWlU6AfzVW+hG1b57l8VhF52QaJRNjRq9Wra8RKygRaTvbxzOVhUKKm/uJ/QGTNv9qhGXR05lcLXtrS28WwMFO5UGcka8MikDydxLqHaGueOp1P/TBc61EPqAisvhM4eahyi9AdzBJXyiKUwMUVxPC7viyNJ8tRBDw0KIiNufNQrrjFpIAnEsk7YKkBLu4SiR+O1HChZfr7SuJ4vwAw7q/kQ6YcMO7G5xhqdrBLIUetL5jlniWIRSUfRZWQjcVZtF957rWAtj81jkjoaa1OoAZUUKymYSwOuacON5G0Ar5yFVr5ZI8L7jHOru3v4ToAAndHm3e+JYNcXO2GCzpTfwMZfFN9DQRGbv/ZReyhy3ca42nU1282F0j29KuOysRkD8GMNGnrzvAX5ryxd3LJIYM9foWWQY6kozp4Uuq1hQuPPCj6BZL/hw=

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

%LICENSE%
GPL

%ARCH%
armv6h

%BUILDDATE%
1502049478

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

