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

%NAME%
maude

%BASE%
maude

%VERSION%
3.2.2-1

%DESC%
High-level Specification Language

%CSIZE%
1091976

%ISIZE%
4622074

%MD5SUM%
ae014aed14586bd8349ee02f4585a88f

%SHA256SUM%
dcd8bed2a18cdc195ac0b316b3829dcabd6ec8f823ea6fbcc22a70ef189725fd

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmOl+wIACgkQdxk/FSvb5qbH3xAAjAy1qUJK5AgLSlPNRx6MpvZZ0yJK34duNT0WaEd0/p5z+Z2upIEWwDGH5SPenngJ2SQ4I7M2BQa5AZCH0cTAZJhnrSzG+9kys2gJD0mSmOBfpCoixlSQvbT0NGKBnQwt/rFAvTTFsKJhV4YE5OodvaoJpyrRcgRZnE1+EHvpAWcbx40xO1DQ5ViWKNRf+GhI+n6Aaemc69qkaEvWnZxRhCi9eS6Q2bxfMTeJtG4mOByPdwyyvbXyi3Ci/9aZai0Hhk+sFlKXT44vSRIiXpivKXTLeRP+GhprdoO5PPNUN2GF9P3MC87AEMbN30KSDScn4hpbk3LGyMGWdZCGKCdtfZsvhEyxIHnXWRIlb3BaOJfB7cuACewSdTahfEY5ruYssoLjMFdxBN4/qvPhiW4tP2/B4FTpQgMCmB/rJkhweRQ131nhEEiFnwKiPwK0IqGBjBd9EhBI6KpH9hk9bUMvXrZD5sys1uz4axOlaQVu6x5DnP1qluL+qe4Vdo8MN2kqN1BLh3aIkymgNMaLcSjijP/xCZ6/NigjtAe6C+d6gSncgYLW5383hkNWhzX9xXs4EptTNCeizIpfHdEbL5iDgZFzLXfcN4biWSgcWgybp8EunoOakd+Gg+hqBhlqVB4k0EJK43D1Ai4x51wADP6zn7fyXyXyGklLwqimn6C++sk=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1671821694

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

