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

%NAME%
maude

%BASE%
maude

%VERSION%
3.5.1-1

%DESC%
High-level Specification Language

%CSIZE%
1233048

%ISIZE%
5139461

%MD5SUM%
74408c8114b2bbb5bd981c553f76490d

%SHA256SUM%
34ee4fd372544647e06e8ac758649197dedc1496c633bc9c5e4cf5ea027b018b

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmml+ewACgkQdxk/FSvb5qaORxAAvhbSc+OhBOsjC+dEOhnSmMWSkROJ+sJWToKSX4rMpZBR7t30J2q3P3hPDuN1Qqg7PQKmhY6cw5CSwT/CypezzcagaLBrpjL8v7c9mo5qUHb2OtRXgisQ55RUhs8/Cyon+5A+bxpBDwhGGWhhMjLXi28VMT7VFxjH618prPP3g4dx5TspRGEOUyAcyvmBWFkuwmb/YIKSo8Lp8YoRzXG3cFuwe3ue+7/3pGC6yN+dtK6bZwShzL9dgvtBLSUJpvmcfAOoUkQu9zhZlz4mO4YxX1GBNGgvbP9Vn2Y/9ZuQ0fHYamTiib1LuP2wywtEx0Jm5EBqGgx4dJp4EZXZ/sYobhJw+7lO2//bDVkkGlWJaOlZPBkp3nQ+9uitFmOrXvOGlV1iVZD619MeRRaooDwRQnGDrj3guQwAxEEknOZ0Z+oZWPS+gJU9WUqCYjXk1eRniZISOvIzGXCGCUAHZpybZWebbjeKhwU2AdlmDy5bWE/kPl8eDO02hSPi69yGdcHnN12q5fkdmCPcCocOY54WTGn7p1JtQV6CVLEVqJLvp1VaaaVJ1Ct27zSjuOra5wqQhjGCJ+AFzABWGAr5fe+tRaTRDipfTZm3Fzd/p2v//ai/dmqnBSE6itHjUYeElAYqGHLCMB+W7HWZtnBWem/ZV1TIsYOOKKwHyKw5NhBqejs=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1772484680

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

