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

%NAME%
maude

%BASE%
maude

%VERSION%
3.2.1-1

%DESC%
High-level Specification Language

%CSIZE%
1091140

%ISIZE%
4630164

%MD5SUM%
5db62eb24dbebd02eef44364d310019d

%SHA256SUM%
484c187af59d27e259be02331ba875d59b1d1edbd4c75295c9101160625ce083

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmLV8FIACgkQdxk/FSvb5qY7QQ/+MvBiCr+nbXLSBPCWtY8vhk8Q3c8txflc1yk+W5N6hDffD/Qj9W7VE27e8OY1c7Iy8sjo4muA2vJFOsGSaH/FXDbcEdJOFoFg83v293cLnCSiCpY3VPtI/3MAQXr35NGCGL1Ha5MsKESTlvVDSad2AOlmCK6u0EHKLUYeWLA5xZUxgtjA5+8//Pj6HzUpQQynKXUxt1SW6L7NzsGEB1fp8c11AV1HbHYG61t/KTrQmBpy3jTsPDvizBcIZ65Z8bJF9/+R5uK/bbOc2NINL1O0+naOlkPb8G+Ru8DKoVBWlvgH7BxgAFlfmP7PmJFU3+74jnsw8ZOfCaLwm4CH1/E+Dew+qH6hehSF5C6OroylWitfGEKLY0tjQCbehqKt8QbZ4GcQ9eZ02B6n2+q9MQDCeQg/ryoqGvi2YVDKytY0mTvQW6D+q0/rNWbyRETZfXPxbXTcgNO0rGuPMfE5JmVZikZYqlG7hu/ZrGyHJ5UrvfmKAPB5LkdwmASfx4AJpBMWDIObXjJE47PHt/9d8LL66UrGNiPa3XaX+uikWfSqPxf2RS2UVzqmaciHr+pSHV8hjLE0ZEfZhFDLMUXeraKpUjfJ3aM74l53wtyGItPZNk+5GzYNad01pktjeL0mhAHuxpaovXFAze0XreOIOmJavtbGbwEBLOfVyCw+yi9kZAE=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1658187476

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

