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

%NAME%
maude

%VERSION%
2.7.1-2

%DESC%
High-level Specification Language

%CSIZE%
804172

%ISIZE%
3136512

%MD5SUM%
fe9def881bebe3e524d95cce54c8b0c0

%SHA256SUM%
cbceea32e06bf05e86cb517e64609565aad7614efb1ac75f7acc49ccd2f4c6e1

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlpZHB0ACgkQdxk/FSvb5qYafRAArAOM9lVPRjC4LkwADujU+4xEMAfRf5dSYovVbAhfygMYwgwVbXMVXH6r5Cl2O+1deDd2ngBAcLwbq/4UIAuTlDkGT2mxxA/063iPgLILk2wiMl1bGx61PA9O+G53JqtHB1tcxCLMzItSzdGioGt17q+ikM8sK9tKjP8OnroyHB4yLiS6pwa6vSGesKEaihL9k1bIZlfJCpEbnNwYixkYmPEXf4qb/G3wb4TvfOxiHz0JTcKvnJpSqS7Rqs9x7Wj8LB9IBo4MAU5fJ7qY+0dJ2yBFLvO6V9LdEPweirCWJD99h/Q20Yc/7Q74O10BZF2ER/OsmHAgEHY6EQ7+8XWTPlOyQw3Evw4M8AvzdyZqcRsiv3LEev2nWUbsxa/0VXlYT39z+5REBsm6uaDwQB0DTayDeJ7KBYoX4hJUg3QTppiYuq2Y5wHTafYZt69k4bwWDT/8YE4ICEexkmbe4t0qSzFnrMqXAUHSu3/N2Hpzxjv28mQBXlWaPrKLAcSS4Y3IyO2NZKW6lqYowZghsmcq1iokgpJDF3DvSh+9n/wNQu86nzoWhz7qNmquv0Jojtr6ySlyfBGQYGG7Dm4X1PgHfZrq82yRx55fTtC8VzX4MqR+r2Q9b8HavVyijApK0kjoUDIaVUv8BN6qB7Hijg+IVvRONfidrlRj2uvwZpZISKY=

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

%LICENSE%
GPL

%ARCH%
armv6h

%BUILDDATE%
1515789334

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

