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

%NAME%
maude

%VERSION%
2.7.1-1

%DESC%
High-level Specification Language

%CSIZE%
753232

%ISIZE%
2957312

%MD5SUM%
92b50b6980daaf30da539f04104de7f0

%SHA256SUM%
88058ae3abe928dd95e637c8eef9b877632dbb4384b57399b76d6ac19be25a97

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlmHd0IACgkQdxk/FSvb5qa9DQ//SvEMc2wJtuJp5TVSw/2Dlydlz7F3WfjZuIydrqw+KhKT/dRroSFssuZmjrgd80/PODr9wjJzufB8yE/1PKkY/mUxKproMI6F84Im2NQ7smUeAtdzwJZWFJ2u28BDG048p+5+17L7BPFkpDWdj9T447uEcJxLkqYvsibVy3VGa7J5FDFRQ8RpW0RtpmTEt0kUQykGCo4F7qcAWRKaf9nJYymS1kBW153AppEVu8DYEoaiOOSa0+jAJXBN6VxSN68sZ6J31xvim2e8l2K9wo3k6AyZFaf+1BFW/3glP3p7mCohN5YPId3fTgc2jztB+MMm7kB3JaPeBLtrKasAq/99s4W6HwbLkeOgOyBjdsn5ejXHAEpN69UYUcCHlmNOY0i6xcX/tkXkb8ImDnIE1Sgyev3WdcVBjcPoZ/I3f8POIVFbEEN6x8hpfgh0+E09AhBA9vjOJ0uo5A45Q/bbNIAAWG6ZTQNKNjaWiL6X9uHzVRY0rn4G2d6IScVhAs6Q3ltoly8ZyA8oFcpeVvmqFCsRJ71EcMbL8tw7A9bmcW+bn4xerFpZPhftidaTE6wTRn67BWzYSablpFn1vt+/MlD7HSTX4rEPIy8I9nJQ4AECbwnf/pt0JIC9LfwCdHMp+TcBvmqkwd+uE3+fPa8Ti7aeSrFi/NSe7zgUAa5LqCux3B8=

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

%LICENSE%
GPL

%ARCH%
arm

%BUILDDATE%
1502050107

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

