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

%NAME%
maude

%VERSION%
2.7.1-1

%DESC%
High-level Specification Language

%CSIZE%
901892

%ISIZE%
3389440

%MD5SUM%
c5ccfff3923dbe6165a0992d1b0d1567

%SHA256SUM%
b32a2d9c0e8fa392f3fd9106fab4e5bd7b1b0bb2a7b28b9b229bec6c8416c42c

%PGPSIG%
iQIcBAABCAAGBQJZh3HoAAoJEHcZPxUr2+am3NAQAJRy16zqsXaEsK2Ut+X8D2ZwY/p05o75DTbxxgEJrpkmI9QI3rOVw+Otw/HAWui0jVnzg4UgRtx9+lAKbi9l8RjyyFOrgfPR/LAbwST7cyrls2Z03ZUXFBbL0HoI0CwShnP7+d9/SbU2P401QS07tCGgypHTb03ebwFawJ2PRaPuh1OFnzGP4/C8LWdim+t1KA7nLGhuQ7HqrBZWIodqNvYOo0iIBM3xZhOMSUjTDBgIupB2EvPbSuMQpWXVtB/oTEV3arhyIqKXxiCDn8JDhgILI7iTChmNl8f6HIqBckFRBLg92GNs5HBzCgb20QK2PBojNfURxkBkBEjNqSkJ70owIUeqeWaWFltEC2lkikjl/wOAPtomSRYFat6Z7uLU57hQ46Sm77A8Wx350jRW520PPCumPrOJvImeYTgN/7X1b2lqFiyp4LdkJdW1+HdtIRp8ctCZqB5y8g5o8AQwain3VYYk+KFId+YWwnaareNtCNZAAW0ZryqMLZYMgp4GSlSR86cXsFEDlsgNuQkvS776NG5BHYs3xxNpMOAs+gfDhUsNmlUJBhOqK0ycBtvqSUEPAlXTtnemjw1w019XFGcl9A1cFkusF2evU28OnpXieYxfozVLkuTK6Dv5YZvbHvjUcbx8227TmwNMikGPTJKmdIoJGKs4oZs+O///Vtro

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1502048735

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

