%FILENAME%
maude-3.3-1-aarch64.pkg.tar.xz

%NAME%
maude

%BASE%
maude

%VERSION%
3.3-1

%DESC%
High-level Specification Language

%CSIZE%
1122900

%ISIZE%
4757685

%MD5SUM%
598c79f263a46f93aa4a259055b932cc

%SHA256SUM%
2f52ad252a0c89e59cf0c0edfab891273d4154dabb827f815b60010390670b2f

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmWdBo0ACgkQdxk/FSvb5qahiQ/9FWYB38feai3fiGhPGsFe5NaTzc8EUsDl47g+dbRY0YbBPMHqnImZ6SM/+xZkzWUTIKIF6ApXjHZgHBmfkSf0LbWUua8St55MjlvvdxJK2PkyJFiLtA5O04Xy4TnytcuzoUn3hIIoNPa1uG9+6aAbDeQDTsdUZnXmXvbnRSEI5KbiQNO/8G8H9Wjiz/tJCobDQfnjVi/ouvBgpwtauyETb4YcJrLhmc1ITh0MErhwBgUAv9CInkBqByEEjrSxWlqZnj4jssgW6dELGnhJtuqZyEdgjLjggq46bxorRA1PutL0sEhbzic686xeN9vjdNnCu8dRdrxcaAGNyiBcE5fwu363JIarxFvCUpSfxz0syHkAnx/lYuBUvIaPsE2R5Na9TMxhNtmYc51JRTK0X/UcGrqI5EGZv8iiZUCdaaPgZzaBnpO9ri2R+cK8Te83sbAHqvTPYPrl/kViFbgIl5j3WtX2rM1fRCiG0xl9K3/kGyE+9oTltzRAhDMsxwPUpmjpdBP92W7tZd7Cl/vmJW7baO6tz0TEFkr9pXHpaRRIotTyJlaWbOb9g8jfAIIfDAETVkzvjftjq+q1/IYhzJ0BXJ+8po+c3FfTUjw48Yqq/jt93rfzpVYFbHKxBXORgvzYR/Gr0TIWDdYSwJFyqonWJK9yqVeEauIyosw96Vbbzg8=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1704789242

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

%DEPENDS%
buddy
cvc4
libtecla
gmp
libsigsegv
yices

%MAKEDEPENDS%
flex
bison

