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

%NAME%
maude

%VERSION%
2.7.1-2

%DESC%
High-level Specification Language

%CSIZE%
806548

%ISIZE%
3124224

%MD5SUM%
2b8ee0757d029008c848177851de0dd0

%SHA256SUM%
f605957b125a80c1d16ebf1deecc61b725d288c74a5ab5c3d8fcaec070f6dd44

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlpZGekACgkQdxk/FSvb5qa5KA/+KgdpiYDzYHoIuTsxRVResans8uGeTxRK+t31TXRqIKY6JlwUEbCp+cgVh6e7KXLes7Ahf9f1WTvh3nS4htI3yuCcaFZe9ZtXD6dia8o/KlPQ8qv5c/qYubsB+iTpMkiI4maHyJpKsRTXNXs9oIi3bCYrO3NjeUJg2puHveSCMuFldDDlqpObi6FEimnkCnc0ei6uoBuD9jOVpMZa2hBwhzqsYxO9EVMRlr/xHAeWhfLIeZ7XTcqA0W7ywiW1LjK2Lvjj1pe06hx51a/roqQMW035nNdsq1vBi+MCbNwT4oC41/Y1H4G6Qxb5QzU5h5aAXn34HHSr4ArxSTCW4gW4iKUEaTiZLECXiYINs0ja5qE+zGS3YRASLcAMImRiJWbUojh9KrhShNq3nGViL/kcSnpMUsJJYzJQ3tiznmQGQtfNq8ZR0QqPrBsYuILSxjG0jNE9TSdJZ9IkxHVjltVTJv0OKI0pT3R7dRTPi/MlK/O0oc8p0mMIil4UWzCcvZDf6Co7FsBjph3dQYpPx2dhYBiJjsf6Y0WVglUqNlL4olhOTHImMOSj2q/WhtHFA1F5zXlMWxroZHoDMF2AbSJWTkmUkmwWyz7j5fB/5XUmu2McgyHeQboIcIk2aBMww9aQqKAYwlQDh71W1c5eAEfDXup/K5UQoJT1GliIxj9BhVA=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1515788771

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

