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

%NAME%
maude

%BASE%
maude

%VERSION%
3.1-1

%DESC%
High-level Specification Language

%CSIZE%
1259141

%ISIZE%
4285493

%MD5SUM%
fa073ceef103d9dc282bea7c93ec7753

%SHA256SUM%
809c3d39083643b8603075a4793be46a3b599d226daa335152d27aced78c3a44

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmNhNcMUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwY61w/+NRQucsxSmF5RFx/mkP1QzEjdEG2lDufljfji09vmycxIF1HgJbAaKd7GF5yFxGgpEFEpI984pvcGEXS62R/KpBcEbFzpB26/nlohgSMnpdk9DBIzKtNoPiWAzPGPo/vDJWDdkFMiphsanDdI00J44ofBItL/BUDF6c8JSx4KyE09E6OdXdtAexvDdxEJhEgneclz4UlGM/QnDQyEhcSNjwYdPEiyxyNzQNt2Xap5BRgMPziN4MqRp58peAJoBfn49U57GT0EBLJaSF8UIAx3Q9HSGLa0NwEY0ENS3/WG7OV0pPGnuAosJ4SVLiBCZ3FfOzfTWhW2qNgPcd8gOVFpkmPlInzXNqRPUR8m+zZz/RJSnd4xcWCHpEw+VsarIrKdTpFZZbi+aqZiV86uwuqHca5PthaKbhjW79zISNo8p740STFQRWgqjVW8Kfcj81l7PIvUchjamDsJ319+9x4zN/FfqJ/z16zQwK2jcKMjK1DW6gIbbKM4Q6fGtIl47KWMF5/0wpx9FZI3Se0iYcGysnZW+JB3PpJyOqJIS2IZ5y+XDvOKAbmW1i7HNLlgOQU0lueUeie1jxeR/P/NV1N7XqrNqAgqU4hNj8o9OPGXPoNL5fGSc2MZxIBOfnNocIZRH5qsplSMBmQcm5A9VvKvRDuDB7QCwCkO81+iZQffAqw=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1603964437

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

%DEPENDS%
buddy
cvc4
libtecla
gmp
libsigsegv

%MAKEDEPENDS%
flex
bison

