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

%NAME%
maude

%BASE%
maude

%VERSION%
2.7.1-3

%DESC%
High-level Specification Language

%CSIZE%
789752

%ISIZE%
3083264

%MD5SUM%
269363dace887fad08ced73fc786ae45

%SHA256SUM%
4fd1abf97ab698228c02f294306fa82c5615c395c21fd8237321c8a5889f991c

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAluNVx4ACgkQdxk/FSvb5qbFeA//aG8ELPbS49LdWjDgQ9SGqh+9VLIYJnNpvKw9gPzLXzKJiPKKd9OKZTcyqhLW+8ZDhZWN293TlXAH7+hYx7OPgC2SNQBTOulA2aqiEsO9SA74TWHKvP/4pzHsjLBx0XlC5FRKlBvb4jTn3KN8ntrspPVHRDavEbFeHH0e8GYkSfiXb5+/n7POsJklZ4YXne2q/nphwel/vvecWJN4F+ro5n0Y2GJm6BJ1lGe3mCCoRdrN1itSjRHZlI8HGS2yB81lkAGEVWm0aqWq50YeKNP4BFU7niBKZMSS036f9uGd7+ngO6fcq9rskuoyCK2C8w4uEDs4D+OLNuuDlr8KNbYsudIoBUMUX8UENBbJk6910b2qYuJV4zHCPWFVr4ypTwrj/CaAFomL35UWVHK+Bk7cp8fGGQkCKlXz1Gyco2jTn4bkK5XlkQt9KBM6XDbLnVYwFhEn25FFoyYiEedyi6CFdJb2zxMw0jB8iMElka8SEgtV3FZ96IFoP2Vs3A8KYfx/I3ny5PGqhKRuLHAPSSb4rIhjRqge5d8PEB02diOExsUCaEs8jq0QeXoqmjpo6vIJjR8PC0thNX+pzHVklAAsdz4hAySmYBCx0PLE+/kvLeDSnpbYG76WSJJ86ZlScT97LDInrhYzBc5fjdcN7oZe78oThdgRGeIN0/RRJBpWsWE=

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

%LICENSE%
GPL

%ARCH%
armv6h

%BUILDDATE%
1535989114

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

