%FILENAME%
maude-2.7.1-3-armv7h.pkg.tar.xz

%NAME%
maude

%BASE%
maude

%VERSION%
2.7.1-3

%DESC%
High-level Specification Language

%CSIZE%
792852

%ISIZE%
3070976

%MD5SUM%
f30469b161c4ccf509d62b9c7cb21fb0

%SHA256SUM%
50f97cf807f8038ad177235fed3686431f7f2f6ee902714f56fedcb65cfc210d

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAluNV04ACgkQdxk/FSvb5qaY8xAAl9zSD++frV3jE5Rk/OzNhLw18myopfsMeAQhnYeDx7PCKt6VqoNfnVk1nofmARTrpTKvbZ7D7sto2qvb33l14TZqo9G82q8Wl4yiymgr5sfxaANGU7B+b8MJb5A1Hf9jpTYd/XXMd799AOSn8nWOfTba4NmndCnycssoV3S82gfVKMM4qCGEynIRfjfbFu8ZN9wGVm1mYvC69Nl5Inr1kCcYCWz+xpYQygk97YPMhlhYJ9Ql6B8Hvs60Mb0yHDitnA7xFqtdUgF3VMaDWNFEwpADvE6RrnGOx23KEQPqY2UrLQK14zszHoRg9fzlAFxZFMvwrbCXMtoWPdv8cB4bnDWtY3L9z6N1Ey/I/k7ub38BTNvv3SlAHZMcYGkp9D93URnaj2s6oVLVCW9tykqnD8lpdnZbLeVJ7dgjup2wrXgtWJkDVr4huk4TrhcE/V0p1nlHCBpD3ngx3Lvdp7SkD2HIlUnTz/dWCfbSwLC5Pf7Hf2oFySex6T9pxxBypC9e1GX5jCbj22e5EBKbO4g+A50bNYGbR27ydTBAzNL0jXcHjBiB0WTvzqU7LFJcNORATHaO29yragCsulTvByofTMC1MN7ufzvNxCCjRFh1lIe9N4A8LNOhKrrXGz2FnH35VzuxorpsKSLeLr3sC0sW4pfOs7ytFFeOJZwHLEn1pUw=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1535989161

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

