%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%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmWc+1IACgkQeGxj8zDXy5KR8RAArphf11eqckDWZmoZ+x5WQ+8pUCM5nKRrX/+krULA5lUnvT5fcTFb1ZgtSuWGHA+mBucwUFAym411u4MmiYPtGeiflKSTW4KgkCOfbztnh0/aZTvjgQsTJA5/bWS06w89hP6IomCOluu7XS02XFWTla9H2CPSpx1rAJI8H6roTLKonQYZJ/WM3mUzLPW6Pj4XtcUNrqoo61APF14Qp2MEQHWFTGmsRhe88XTj2YWt7HRsvqngjQpeLCD1KsugQs/lxmTsMLzKnKt4prBxxAzRzVUBkGWXogzRYzjRtDCdXh2BDcaMInwSJCUhoeK2tcUZpUX0Gj4ZmylYobP4D996RMpgv3cW9tWSz8c/6CPmdusp2deYp9AVIuR3I/t8C9NYbW8KE+Sp9nm1S2Oic7vq4vS1aLU4gBCha1P09ViS8n/MPPJcGEXq6rftpHpyPAB/uyzLMIGcDWOymnwQRnjK5un9YWB/T3DUXeARhLBD3bmeprquoG4UhoI3Ocnkti6keUHT7Jdn8ECVx37t14dqOtcEyRGr0zq/mUqlDUU9NL/WYjDQyuVmypwVG/Bn90V9YvWyzjNfIOxISJ3J8uGFWmXmVUBP8OHLdwTcHusoWlgLzxv0mY90c3AlA1hRcrH3ekPBGcPBpkXug1VcA6Dpif7jSCcIKvRwycGlES/P//8=

%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

