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

%NAME%
maude

%VERSION%
2.7.1-2

%DESC%
High-level Specification Language

%CSIZE%
944572

%ISIZE%
3829760

%MD5SUM%
db6ced2ef38c80e3fd82fe8e66990002

%SHA256SUM%
97882bd66f9b9c72038d8b7df946cd68a62ad3333f4f4d7acf1aa6b3adb28c07

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlpZGAQACgkQdxk/FSvb5qYhvQ//WzelCJDsJStFYRy3KRLx8gVxee2Ah8SDMWMXEvFT8UFklsqX+7fNwJ69d7ezROLiSjgghrkB3/ZeXFqE7nwRDu8B7kpfIt6Kh5x87F0zhz3LvtjToKA7fI/v2PdiTYGGUjiiXHK0u0z6j0WRoCYTTJ8ZZA7JOkznvGXotfyJaNLCiOUZeIctjrordW+MHMtlC4xKHd7ziQNfI3gHunSrP4ypl5MNrHmm36ANtUkTcj0nBTWEQ5RrQGI0acXqcOa6HojftQxJZTW3f+/zxoz3HVQUTFZWFXMWhI3jwgcEWQITI2x24UyJl5S4iUixEPjgEeqSrbn5+bcK77H8aKwJCSsXJDiFQZ6Av+UVPzpapTp0K4QXojiKT8vW5Vt5dJoVRIxzLSRjqeO1zawEh3HCmai8h0yMeku/yl4iHN4ncbpDaqGbCAUXUYlm4Msq7T/coIqPtErpXAkVUC17JzG7dDm8ib5/Mv4ct4W8KgPjGo7YbUaIYhbL7YktLu0tp2swcrPU+QnjKM6LX/6sZzfcFbeUwlShA2o8M/WEnyKRT7lStv76k5IX7X+1eQosErzLQEIzPWfGC9SWDAx8bu3LWmhUrlF1TmEZK4Ps8syepmPhCCoTYpwzkK6uGIqtq2N3rKUJ+GsUfyOPL2pGqrqXhAhUsZp1nWfedomLK0Pn+LM=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1515788287

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

