%FILENAME%
maude-3.5.1-1.1-x86_64_v3.pkg.tar.zst

%NAME%
maude

%BASE%
maude

%VERSION%
3.5.1-1.1

%DESC%
High-level Specification Language

%CSIZE%
1554212

%ISIZE%
4938645

%SHA256SUM%
d923fc2f12612a89532abebefe1f32d7328ca57e635cfcc7c1260ab2eca9f209

%PGPSIG%
iQGzBAABCgAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmml6B4ACgkQ87YHSI2zWkeY6wwA3jgY2DIHLa3zutU1mbT7o+WDMWyjlyDCa9eZLENvXKdFEeIsHeTx27XmZDCtbmG9Cy+KhQWY5QNvS6Imf5RdVeQ4TxHZEO+cERQcPOiUoLR6ZBd82TU7gFum1FT5tpJJEKnDOkepI2KOjLuqODVQAVH1mUrJUIajj/SZAL4et2MZaU3NttVNq7yD2VhDtvtB7ADqK2Wj8x7eT4u59zcXspQ5tDS1pwAhdLacbrokEDvXSaUT9TsYbZjI7DFVQqQVtgH5QtkVs5GtLQOeAa2zq6lVrqTq7E+xvb9Lsg6B/7sEXy2eb7YB7DzIR9oxB0h6FrbdkXbPv7LAWNIWqJWnSYZpgcy4/Tqf/mEW9bphM/1LoCTDvcu497iusvnGdQf8VZMdRFDF/jAmVytfBk5ZpB295VzmHaS8XBKyLgpwdokD/C5fbPjXKjqHDzVrKQI1wZmfOwxO5hGjKd2xFyUh3D2n2uEmIL4iTSySSFl2SdBWWWV3pTYUAs+N2sNbVkwb

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

%LICENSE%
GPL

%ARCH%
x86_64_v3

%BUILDDATE%
1772480413

%PACKAGER%
CachyOS <admin@cachyos.org>

%DEPENDS%
buddy
cvc4
libtecla
gmp
libsigsegv
yices

%MAKEDEPENDS%
flex
bison
git

