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

%NAME%
maude

%BASE%
maude

%VERSION%
3.5.1-1

%DESC%
High-level Specification Language

%CSIZE%
1148632

%ISIZE%
4524129

%MD5SUM%
54c8c3397d930385b2e5682c017a5c5c

%SHA256SUM%
996de6cf27f6fdcc99d57e4d5c695fb0e9232c36dc54387a7109d235780fad48

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmml/fAACgkQdxk/FSvb5qbm7g//Tbzp/sK3Mmk804f5g/qHUSl1+xlLQLDJaFCdrPpdrT5TWtnL9/r68f+PzTq3vVBx51hE5MpqNAl7gGjxV9ROXTIz0eAyfst01mMfeLyrKZwl2oUp9GQEdMyODDJwG33OKBLXqHGfp3mqUbwB/L5Rlzy7iTts6w/1apurX8VzhrjN3rVBfOVYE+v++MasHGT5sh33o5O9xdaGKBpqcsdUj+vUOus9S7x/8QWYzYsGA2K48f8Ov7UUqPwYdwiIQ+s1m5ioBM0rbuTajoALyx7KBw9MkmfbgVJkP38wq615qGnsMZnz42M/eJmpWUQ6Ey5pkQjjuMag58UAWOtcRJwKebqD+hnk6sb9qvY8xMCyGsfahWQz226vuPZqOctWm4yfefXE+ZxIXCFM5t7KOuN15m0f52Uq+knLpVVM+7XM0ovKc44C0P3AiglMgxRLYAQ1MEIjEw6PEI1xkR2pZKlzlryLP4kD4AvsOycHSoZdkyP1jBazFeRCg8Y1jnX7NFVP+stQ1FyWOZkPRMlO2HXR3UerpGfLeZ3QAheOarW9XAFRHJcHkmdwkyGxiXIzUeQT4gCVVopErL863tVc/ghvtflyfAAph4Lmi905OdVkrHiwb7o2arzrrfvptNRdxLH0QbzqgHdfszj8skaDwVuJEMiijGiNZr9LmtlXiZf2nOo=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1772485552

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

