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

%NAME%
maude

%BASE%
maude

%VERSION%
3.5-1

%DESC%
High-level Specification Language

%CSIZE%
1118692

%ISIZE%
4334782

%MD5SUM%
20f1cda74a4f909d66d974a7e2cd9fae

%SHA256SUM%
397d5f57cefc6054f62f2eb54715466c873079075b7399d20b038a5c3414e536

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmhoj4AACgkQdxk/FSvb5qZYpw/+LFxfe8+cYPVkyhKvTzGMVdt2AeqpM9f0JVda2SIUvze+LF1aVVKEAtOdBYSCHRRiA3RugLSXYB0JVosWQQDt6fNhkc9/7LORsCbzip8UFmPhEwVf065MqtmHJyXfztgNaLLgDOyj/zKy4t2ny8iVYnLBp0S8vu9onOm58KsItwMnaNGoIO6a1t707Hn55TqRHJ/HjSfN101IOK3CghjZqKkXpTXGjzCn7fm8QzDlN2s+ZhjcrhWfY4HTHNzH5jTAwc2Qmmnf/d/xAuc8OaNsxexu5tCv3Gm+s8zhk4hQdsY70TyyYhMQxRZNpsCKlL+llHbej+DnSASiG+QYk03XIaJnXGXu9x2R6Cq2ImSEUFTgDIxvckGv0uQ5isVK+R8AL1MupB19lCy5vjIft0aVa5JuH689wo/wJsfMR6oj+qUVUGixOhfgOtgGWc9+FMgzDuG3yashUMk5t95fTqZBkktlnVXiHgDWx8yYaLOxVw1w6epkLibqf3FD3wpjRRY46AIaKbPXFp2Xv6Ck+ZeonEwtnwRPQSjUF4offC3qpRB71NCgIZ2uW/kk4GrV19f3d8h4Hp9sSC4O9auLRDzsxPbeESJuq+MsV+3jxZtO7jESaIZORwr67N5uiKFvYyM0bgxdAkFFQGV5w557HqOW34NrxTBGqE2/3d4hG7BX/ms=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1751682390

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

%DEPENDS%
buddy
cvc4
libtecla
gmp
libsigsegv
yices

%MAKEDEPENDS%
flex
bison

