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

%NAME%
maude

%BASE%
maude

%VERSION%
3.1-1

%DESC%
High-level Specification Language

%CSIZE%
1049120

%ISIZE%
4486365

%MD5SUM%
3cfee0eba6b9db44872fafc21603f215

%SHA256SUM%
8798d957474d79172b04eff4d1e4818270aad895b7116bf43652dacfbb805a33

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl+wvIwACgkQdxk/FSvb5qaXihAAyB+FO6FsHGOAOoofrnHskRI1qZd71DKhnkLyNNKmTOCmDhs3r5XU6cQuHLE1nBXtmAuXN3S0J5WkfkbK61dxnyKcDApA5wVNF/jxJSq7wBOM3qwMUfhj43Sn1czzX+SIULFao21J2/rR2Zbpq1l3DTCspzlqhy+TDGPxpjJSBGDajgWs3TGMWil/c5UO3wDho559Xk8V6PfBKVpK9UabaJo8oC/4d2t94grXrwOWVZSHbP8/5Qdx4sO6h1i0u9WyIr3j/R5tE2AmAkqXs7E1Gh+PcDvafJ/XAtWGIMFvsqI9QYINViWHj4rjXuklQmhgMkydrwmFHn/kWDICzohHxEEcVRS2HDQAlQIN1xIKmYuw0mRG8J50zS8v/2rZ5jjcD0sPglof+IrlXurSxX98bvxKtRr2ODCJ4oEM53raU23UXenPIvjc7rl7ixqQ7UaA6dTtIVRFU4xsqCU/9VSQd1Jk+RxonIlz9Xx8FLceiGntwkfzBBNmw96cXLd4/zpT45l5UDwUowFxbaAdUeMOJj5JZXy+1ReNxh7eAj0mhfAe2Ekipj5gd1OqbgQEvTrjVgMsq1LG5nqGWvPwDywZz3anxnkz/SQx5V7eQmgHLWH5WhLfZpM7IGqCRjSTGQ4TkSFMCqUpRF61MI/+Y+d9KXbhC2OWL4h66OgzVCpciko=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1605417798

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

