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

%NAME%
maude

%BASE%
maude

%VERSION%
3.5-1

%DESC%
High-level Specification Language

%CSIZE%
1219616

%ISIZE%
5072878

%MD5SUM%
614a1506fd9f512e27c67c9100600a4c

%SHA256SUM%
5ec53feedba5912c688fe42ca5f91d5b7e10c186d103658d7b3b9204f64bb40c

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmhofE8ACgkQdxk/FSvb5qbSCQ/8CRhAfpaX6LaUYAJ8k6memHcx+cdGCq47rQkIUZMFpQLUpWVJypcf3bTpHC83m8AgqGAUn3nFJcuMTfSvvL2cUyRJ0iOaYRQhda5B+R1d+fIz6fUrfYcJ/3FqfMC2dXteWc0mrEoibF52jrcn6YAKxrbclF93+g5FUDAurtyADOuZFSYQqW6WKc0FHYRdGeXwCOylI4xdB0lF/f69CAhUWKHtGtiP6TKCT6dYUe4PlCgl0dvKeZhuQi5LHK+NPYsoz39dk+X70zgJhOtfsZTunCsrGrQ/vubgbv4WhOcwTTEZ6mqAVtGORFpW20KTs9TsK4eapCeM5HsgK3WSt7f1JvqA3P7DGDC36tDIs4IctOysTvi9UxFJdB0D19YZgFr5fiZnDAv0Od1G7FE589XX2d+5+kLvQw2nMwkSL43FZ5ilOi7nwwuZYrHA/TPQD6xuz53a+2IMQxNORJlsHGSr3lG+VyVj3oENPAKGBX46loz+J2R3ufksrGL3uSHCzhRG/cPISVOi++uG4ncKeAHvLqLtVcIwLC1J3/6jpSEXU4Imrs84q/cskuALvNI8N2rw+KJoa8zuwJwNw4arEq3djWeEoNXQniQiLcmdrhuDat67QW+/P+8TJ0ZyOENtlG1G1Qd8Qf6nt1dpcIfVhgZT5xDqxTtOu98mmkc+Y21q0ww=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1751677624

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

%DEPENDS%
buddy
cvc4
libtecla
gmp
libsigsegv
yices

%MAKEDEPENDS%
flex
bison

