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

%NAME%
maude

%BASE%
maude

%VERSION%
3.2.1-1

%DESC%
High-level Specification Language

%CSIZE%
998096

%ISIZE%
3974032

%MD5SUM%
e61554b147e845b55aa00286e63fda45

%SHA256SUM%
ddaf68454b4a57c6ea45d0f91ed593def950bdf39d286fbd055c0c59a25ef505

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmLV8OEACgkQdxk/FSvb5qZMnRAAlKG+12e9G+voiTa74st4IYL0c1h4aWUS/2+ZfKJyk7/XimBz3czNsw0Cl4iy2HlmeiskUql5GT7/olC+1uTNLcoeWUA1xExR8kKazSDDIDruIpreVl0L4yNlTcE9+3CE2YOSwRpqLrtnyIhtBUYVoutVcmBKoASeL0sqe6BgUT/wic5/pAuisqazDathQnY8ij+N8V4m+yDczvbBPgUqTJTBhpV0KeTXwoTY6wDH/B3Bhm5GO/ZXhqUHlY1fZcwuRKFyJ1SHv01oWyqoh7o86ytFPeLH7sD3cSsie2IzecFTaavIQpBs5c8HZF6eAuyS+2p+PKtEmBKMd26+lr7zvvpfx8HF2cnsyGo/ZyicFlg3ncS/c5O5lTOjQRFZvXS2E0Sf5oc5v5x5pn5CKrVRoPrUYS6lUDqW36ILRxG1x44elxcREe3zODBvGJnNYNwUIp4vGUbhawul2ergvKFc7fhPDhJGBlFu7Tretx85DdZu1kPV3WkJHlSZItYm4Fz7OR0kA4lZKDWKUfLB7PM6XepdGUBZrXXRopuzVb3LcPkhzIP129Z8A9EEoOGq9iVvF9Ad+yDm8XsvNOLRLSCF3G8q5nMzsrNYIzcUSRpGYGeYKYozg/+zG6Fjr30UYycLRWnNcyGcaI82zIKkPKtf65/zohnWXNNCJptgCSGxBAY=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1658187502

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

