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

%NAME%
maude

%BASE%
maude

%VERSION%
3.3-1

%DESC%
High-level Specification Language

%CSIZE%
1254866

%ISIZE%
4106477

%MD5SUM%
82231704e78654d3fbe8d0bd33866b33

%SHA256SUM%
58e2664a38420a39dc535516091c11b36a8f1237b709dddbc7d1ba100a98283d

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAOjoACgkQrx0hme8KPM/HXA//XqZtw/dxVfECs/KvtsInXOGPT+jJ1zVK+Yimb7s1tWEm4Jto3SONxmambWAy5OVTwEYYEBC0c/R5YfQrPGdKDppD6Wjj95H01H2ssBI8Y9O+nlRLRum847ZVIuMkhoMkLFAh1vx9o88PvIdqr+PyC/XPTqfp9fcH0uyW1WOys8xA4MjwFWgbRXX+J1O9It3C3HO3nTB0qEVbzwU6290srSgx7mYsy+twnLxC8ub4rpHxokKORWNmK5mpeYpQgX8dJBKTVPtMFwKabeqsRN4xAAb3RpZNJzK2sxnik16RXofNADvg+ouJ2bQ+mWnpQlaVittte5/TOi8WqiWcsnRLFxU+mGnByNR9VnA2MKbsf9SjGxOkQvkuc0xnrT7M7oZj5A5skzahcNTZ34VTuPOWQSTUprNEL2grvY4BgHore5FJ/g/AeZFziWfUbG4vy+Ky18GhveT921q5JDr+LsrTreuZRCyGg8AjEMP4IgjbbtOjhZyhkIC06tJHtcHOnJfAl0kxb+pr5aNhufXgp2ueZJlovmloIy8l2CE8YXr4JVuWuXwy1T0mP6rm56Hk7ZSM/oTn1ShJFuEO+6SAvuVWnXPSrtvshJHrAjkgP9+yNn27jDkPAJOCCN1qr5Ii50jR7/LMFjdZxOf+0QUuUVuOfoMmilS1mBz/vF8+5fJZscc=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1704786066

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

%DEPENDS%
buddy
cvc4
libtecla
gmp
libsigsegv
yices

%MAKEDEPENDS%
flex
bison

