%FILENAME%
maude-3.2.2-1-armv7h.pkg.tar.xz

%NAME%
maude

%BASE%
maude

%VERSION%
3.2.2-1

%DESC%
High-level Specification Language

%CSIZE%
998572

%ISIZE%
3974134

%MD5SUM%
b2d6bf9a17c03f51a7b5d70ad6c35804

%SHA256SUM%
5605a735339cd14f19547234a1a13eb851e92f0d23ac448e859aba9008c36e20

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmOl+54ACgkQdxk/FSvb5qZEnQ/8CGiMg/owexhw2QLMVAsLn3OIf8bZE7EMbm73BL85fCWNKh7l2u+jjhOzMyqXnDf3nFlREo2Bm32CiPKfSy6irqwqc5nUwbH7iqe3/rnLAYyUQznMsLbdzSfrwvadn3VIplA9SepvqMPX2zV+DWAS8igiu2ZcZZld0YaYy+a29NrllhfzyI3Je6Z9H76EbrmMTK2Dkw80zD8y6n9mcTbwp//l0EAEe2JXpPdlhYdY45hFU+HPZADHsmgCiTu6vZGz5ypkDb8yjds8/pF9c8y30Q/wfnHmCEBlKaCJ6cYDMSA0bx7nsIiuxD14HFJt8fHtpYkSOp9yj/9jPlSHek+igrhT353pB03G1qbdzD0D6SkbYaiWDZi/rK4nG0RzPmjZk7hXWY5Gsi9bvDhFf3dsWmo/Nfnk8DGP9rRsNuUdsh9gswOnTEL17SsvWQGOw/Ti64MWII3+8f9ytC7KEWS0HUJBK0rc6MfIPFefBUm7RxgKo015ATEJFYIMXT9p1vuAXIauKBTiTNJl5Qg8xmZpaEbFkliZdmHn5AmA0YAqtzXeusg6ML/vqJA+oFzSLB8XRalB9ZzHN09Olgy36nnk3BNpqN7uD6q083GiXqLwggR2QgDn4UyYwHts028arzqS7GQIUBJYrnIer16O9ljMo//xvq44orBivbV5s1ShHaM=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1671821727

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

