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

%NAME%
maude

%BASE%
maude

%VERSION%
2.7.1-3

%DESC%
High-level Specification Language

%CSIZE%
788576

%ISIZE%
3085312

%MD5SUM%
9d6660a304a6008a046696341aad65fe

%SHA256SUM%
dad55a257237699cd93c5ac63d66ee1883dd942b236e4d6faa0522f6136c52db

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAluNV7UACgkQdxk/FSvb5qZk0BAAsJrfytkF6+Ua3WdKqOD5yFUq/Nn8wpoaFlIEanq9d2cXkKDTnxdK6LAWgXBqxQzB9IM1QOv7RYJWZF4bGrpe2f9DgDEec/jdAXYHL4wshZa7/Ch8pR81Et+raB5dTt2pjLrrqDRMBFg+iJbfAsPVWHtJinOUXpJf/CO9ZM07Ukf2Y7u/PRjatyBaMl8uk7JY6t+kKhaMyhnlxZkGXWi03G9BA452CG/pBuMKqCweUNKI2V2xVS51zh6GMQgUnRyp/KA71vM6o94zu6E9xxsoGpK3j8SpE+dl9hzHAS8p++0NefSzBLspKF1SzTqKVy1gku/+F1FMGZXNxArKr3rx6f+OANfgEng9V18542ZCVIjQIPvJN9kqI98uJVR9MoNLgh44gidZdm6p7wASAN7iWYk2IggxiUa1h8zmWDxAgqr3/PpMhfN3WigZVLETE51JhGblxv+kBmnQkhSmlbsuul31KE0m962OSesp0zp0+Grw8lCf3v5jnD5ptFeW7luI2oXRvqJTzym2mA/rbxeOiZWNOI1k4uHPpMnrRXjtlI/2CvBHbvioppKpYmxn2o7/gwo+zaaijI53t3rtE0g9rNaeiCjIB+jCoafgcd8jlCE2r/5OAQc15UqqF7zJmijgdfCUUWTPEFgOVNu2eJ5pSlwrTSADBn04uDloJe5+0lk=

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

%LICENSE%
GPL

%ARCH%
arm

%BUILDDATE%
1535989225

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

