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

%NAME%
maude

%BASE%
maude

%VERSION%
3.5-1

%DESC%
High-level Specification Language

%CSIZE%
1358651

%ISIZE%
4265982

%SHA256SUM%
0fa6849cb8969757b34bd08b8f01437ea28acbc1f51e6747699670c66b6c3657

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmiKkZQACgkQrx0hme8KPM8EwA/+LEMludmG47V8WwD+nnx3NEVuQgNPU5PmTcxH2lYGoZNKk1/G3rxXmNTGMpcAfX9uyAVU4r9SEfctX4sfy/dCzv9ivTSFwzFSG7Vm5QmUeqCg7auHNV90/S9zpVOd0dEVYs1YnnovjHLsRZ9fmcLr4o2gV4/E51X14hoKKqIwymhjaTlv5yj3zCYn4b8sYa7GFVQB+hMqFu8/lrzeH2prEp/Y3i8mXV7U0NLCQG3EcqFCHLJojbgeUTVkaoMx78L5BOw27Lvs46XITx+z0k6Boiw2zdTUd6/Rr0aQzrx9mtiymr9SaafXe4NFeBlakntP9m5QVwkhStJrKQ+C1Zyv10O4Bj3Qm0fHlmPxTzyXS8FDhToWDC7YyPttxMLiyfy4VJfrxRHWw+YMkqKkfmuKD0NkD4xI92zQo7FTGniNDzqKQNVh2Z1KRlVB2By4B0ZTw7XRTQZJ9itfBEoD5NTVaHWPbR0gV93xpMmqRyPoN6X6GhUWQCjCpMwr+qRPyHMmjDVOX9GWk+M+z35Uno0xGk39Zozpzc4hWl6x+L7k4IWljZQjHPTztkfbaNIeQ8OQU03MXayRmn1LXHmu5046fqL7VzsYfrc+S8yjsYkNBFnZ1v7e/EYNghDcvUnwIiYGjLGeS5Gg8sEnaFKVElaigLwY8tbeq14oz8cPOvOm7ow=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1751064145

%PACKAGER%
Antonio Rojas <arojas@archlinux.org>

%DEPENDS%
buddy
cvc4
libtecla
gmp
libsigsegv
yices

%MAKEDEPENDS%
flex
bison

