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

%NAME%
maude

%BASE%
maude

%VERSION%
3.3-1

%DESC%
High-level Specification Language

%CSIZE%
1029820

%ISIZE%
4072881

%MD5SUM%
231e870b194300b053094f7dc017c681

%SHA256SUM%
178ce0c4c349441b7f27b12991a6599cefd31349bc6496d663d9fcd2151c2178

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmWdB2AACgkQdxk/FSvb5qbnxBAArNtuEbZ7TVci1HNk4xYu+yNuOCvyaNxg5MAOkVL2PMwKN1MnLJedgfbhB/+F6ks4L1YUunSeutyRC7fj7ovOHzbl7Ffyehf4l83yhiH5L72k5bU5eUr0lt5XgO4lMj4LwXTmOPqenxXmKop/6qcqYC+V16dobDWXd89ijZ/R7IczuEZKCDnz50knE44baWINzDVFg5rb3RpnfA1etvlBYMaiJwIPh3MYWKEj1zAvW4yhwNTDv1/5dULlNHEO3KJ50cfBFpAGrl4gXd61BzJjE5Lxh4JbtzVD59LnfRoohyT0zmJgIBDGVMms5Aq61TpFFHf2I18DrGiWsF6cj6RHzggYegy2bJDFPHNDKeYwtSICO9T+pV/oZ0xjIAfGDM9kxWeby/LurkLjvLpaFqegd6TAYmEX/6lp7dupl4as4OFVZwGdwhf0W47E9Cp9Fxp0yQaxE+Upk/q6T6E9K/ekFXNV58XTBWu/vUU/0EolmK7DNeii7rHm288gLtnP65hxCKi+96Nw7J2xw1l/JGR0IEBE0E9ndZatW/wQTFBWJRpOk88wArG5amtEekset2JauS+4T/+e38hcHyfcaey5+5tY6gutdtpUq6g6kysqNOQQEUmD4fedJeNFEsF5DhCB477OGopNwFmYo2raFMOQPUOU3SI30t4c/rqlMhv/QsM=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1704789336

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

