%FILENAME%
maude-3.2.2-1-x86_64.pkg.tar.zst

%NAME%
maude

%BASE%
maude

%VERSION%
3.2.2-1

%DESC%
High-level Specification Language

%CSIZE%
1214351

%ISIZE%
3987130

%MD5SUM%
54c157be8ce21e2d0b76c73ad7dd69bd

%SHA256SUM%
646d5dfab62edfcc7ec0e0ba9c4c7d0d4b516ba21fb8a6d39ed4115a1b635814

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmS3CpgACgkQrx0hme8KPM9IUw/9HSYWBB6NOgJtG0b9am7RiMv7FEzhspR+tFVisI9b+BDPbCllvpg0l/oxstB0IKcG2fdZNORc6S29A71hQlEwUiEThdTjflMzatSUX4g1oSnJAODyxRQk6odnZF3lsi7uAiX4aIVgjxRM2GJhzf8KVThikaIz4NYAqF6d32ty6yG+LVJyZEs52yr8pjgB+EcNKYOzio1ySxgXvKVt42K6CkCKB3VoanUjmCX09afFKc2+qxw3aqI4Gij+xDwI1XFL4e/NLzj0O92LxCPCxhpXEEis1cxYiimH6rrZTSTsu6ePUIiP+iPJPzhxgq8b+yWLs3SYdVk3l6bp98Z8im+B42uvverYexaaMHf9nW58D0sqNXw84o0tOpvCbDAeIUNPQkkWp2DWW/VZWYfxf4ac/AS/ReXJTmt5EKa4LbWSrbbzDCY2uAI58IFGiWZGsIluPhbQjLp1ElxpX/OC1oX40GIGBUPsWw8Se4Xlg6RbSNm5CmWnuvMGqZ8kLXxua96PtsMX4UUdLykunNKBurLmhO9KL56ovmfnhWX5V5A67JYrzuAJTmX55lBgpsGB4ikVrrnga4h2ZLPinrFPeudvYy3AhvjAERxnM+5vkHI30tG8JOMaYPvYusgtYdyrz4UxuEGpnJmVksJp4N6j5ShI97F0kN2NC9TKfhFpTxUYq0I=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1671819390

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
buddy
cvc4
libtecla
gmp
libsigsegv
yices

%MAKEDEPENDS%
flex
bison

