%FILENAME%
maude-3.5-1.1-x86_64_v4.pkg.tar.zst

%NAME%
maude

%BASE%
maude

%VERSION%
3.5-1.1

%DESC%
High-level Specification Language

%CSIZE%
1578836

%ISIZE%
5199862

%SHA256SUM%
180eb26d5c84d5e3d5fcb6eff163dd44766ec4bf3ed5e7b4aa9670496c84b510

%PGPSIG%
iQGzBAABCgAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmhoWdcACgkQ87YHSI2zWkdRZAwA1HQtrs9JgTQWMehghyBVHfsUCniA8NqEr7amMe4Dg8uU1Upf/cKgkl2XeAwUtJyL0JuHii39gWk9NqkRpN1/M8+U5jSQmQSHm9yDB3lWOJJ7xoLaScVzIP0vpufI3mkO1nr7O54fuMUSyeZIkv1W1wSkCNqI3spbP0vQIRmIG5R+WL4X6DoqzBgeoYSRJwVfIXBe6IRt2FgLqHApkWlb0IenucbSrCKSCIMbncfURHMA9aqOduAvpBVqE30Cj9puLjcivKO/HEURAFAkmLXQUcOxihqaziFanpkvwAqyxEcsOUEoVFKGUYeJBayE7PSAXNKjRM4mvRDyAMnqbrx58sd84GOzcylfm0VARA0AE3ukKAWgdGh4wMNl+PBqNZ1cM24VAL7tgYijqy2DSoxyoTWD3ygLnZC48a3f45Lb4tAjMEftYngv4FgHFIfGxTToJb4GhyRft1gaMgSXn3tcz++2fxYsXuY4y1wy6XP1JqmZb8nuR5hRZ/RvKXf/4GKq

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

%LICENSE%
GPL

%ARCH%
x86_64_v4

%BUILDDATE%
1751669078

%PACKAGER%
CachyOS <admin@cachyos.org>

%DEPENDS%
buddy
cvc4
libtecla
gmp
libsigsegv
yices

%MAKEDEPENDS%
flex
bison

