%FILENAME%
maude-3.0-2-aarch64.pkg.tar.xz

%NAME%
maude

%BASE%
maude

%VERSION%
3.0-2

%DESC%
High-level Specification Language

%CSIZE%
1024832

%ISIZE%
4366276

%MD5SUM%
f9a699840a6e9e5af9aaaaea2be7af56

%SHA256SUM%
ffb0ff2eaa855a6c852c2d288f1137e348b8e0f2c4a2884b1882b78bb650974f

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl5nAiQACgkQdxk/FSvb5qbFww/+M70SYrzOdQVcqxInmQiagYFK+8CihTmDx7oqCJmxUPeGLRE6WOw8XXK9no0BoNzRs2++xN8uM23L/sDc1Yciu7sK8Z5YNjiFnQSw13eBC9QIPlJJofxITuz06Zq8h2A4EL1GKPOuvg+u+Sgf006XCPzGtGOfn2XYdrZnIxh3jMJsKw7ewtDzCAupPqxW0AurCfCDlmLs//glm3gq+c8ZcGPfDpGkacQikYXfuGLz2lnDEV9n0u9CbAGtQeBv+f72T1Plepy+pOewXLYFktCaJxPE9Qj0oWgV+CYnASkCghAq+JIKgzLFoB01kO+2HQyAJg6Ii2YF1AhU8PX9rSWUwMidlIsrg/dEyTMjC4E0oxqGGutJ9wdoBEcWBiHuACe4s2yirtDpK48Tb5DTILLpyYrCmHe9pE4f3AgW2N2NtC8SC8ZXBKkfJY87LPp1fxh8feiI5hAnQVnfUvXL4X71zGA3dBfsiwQqwo2uWXws63QEB+n3SK6KxeGwEzszKiUcvMjrQ7mGmCuuTEKAXyTri6Kym/15YGrfhYpYXWuDNo0k7pPYzHONVNgti/7u9RNoGOO3KU3br1emmEZySRk0vODApCJ529YOU4ZNWYXQE/OkDObvo6Ny9tKBqap1OZyE0q+KSNRN2n2zGl6PQupzjixpI3cO8idEjI7XjQBc1vo=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1583808749

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

