%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

%MD5SUM%
45b2207ce7ee4f709a617ac7d16e6f05

%SHA256SUM%
0fa6849cb8969757b34bd08b8f01437ea28acbc1f51e6747699670c66b6c3657

%PGPSIG%
iQEzBAABCgAdFiEEFRnVq6Zb9vwrc8dWek52CV2KUuQFAmhfHz0ACgkQek52CV2KUuQzbwf+IbQqH91YEuajCLyOWdMVatbMBOWcb+cToJJ1MCsRI5ovD8rmPw1ADUjl8IFlA0a1WmPUuvS4VR9Uo7hQblSIX+slJvYQwgL3iqLyzgtQ0zAJPclWMgLDGseyTldXOnUlsx8gZ6/d8Fm/ZhC8lgfO8RxlQ8YrZGX5WppQmhpKUhCYR+DVgVWAig6+YiES9CWkH7Em70lfNainkYiagoLvd5Uo7G6xW3iBiM6rQJy22YmYlAdYtuKQDmczkY7bXmQhkDKhjTCJmiAWf8j+UeomfzB9JIWfrLWQRKlkqpg8mlyEylgNBakwNJH6OEwvI84zP/cvqsewuSyuK7jIujmf9Q==

%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

