%FILENAME%
cvc4-1.7-1-aarch64.pkg.tar.xz

%NAME%
cvc4

%BASE%
cvc4

%VERSION%
1.7-1

%DESC%
An automatic theorem prover

%CSIZE%
4659168

%ISIZE%
23964850

%MD5SUM%
f65ac8bd515d4d4fd59dfcaa128b0b53

%SHA256SUM%
d8c5f4132cd4b769b8e1524774a3af93c16cb953bf48a14988f0fd873a6f8a40

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl5nAIwACgkQdxk/FSvb5qZDTA//bC95zojEIk15tEpIIoGmWliUumDCCB9ffpYsQ25p1xwW22jH2je9KkOFCfH+/0xpU0ty1yAOU1cBLrxKe7/IO6RwsG0t8VtplEbDqdwEFzxnWCYP03beqZohC1R/3bXc5EymMioaiqPPRmDAU6IvajQBQiQ6pjTdkAL6poPU6FhK3pCFa7749DxrYUS4dxv+o1GGpxM+6hJ8LdMOY3f0ytEoZan/+2NWesr91p0ClBavmg/a4s/cgxbnRA7onDQWpbN3VaVLxkWvlKOb7HxjW0ELdOH/ysmGglOo6+PFgRAKYqW+vs+dAyCjrCVnlY/dumzE3XC8tJ+wUKL+Jv6oOtrTtXl0ZP3SddlO9IqUw0sK3oDK5JAhpnTlMMO1ThjPz9ag/C3/+5qDowyOoUseBrre/M6T5/xhEyAqgRBM1V87T5xki1TIrzU0FV1uDgmUGEb3FNyVkEcVL+kjQFSzA1YzaFt4WaQ4eQ9YgzySvnUndXRqEYPZWuBKfW8RBnKnfKWpoYvbYRM8fHA0XFWtUYv+1KxwvZs902EQTgMprIHwXb962e3u+m78Fd0O573ND7/Xsr2ISSEkivvhgnNSD+jI6P8rV96JAWdfdmTo28oasqeDQr6ySD4Ora5QEZu/bTbh7Z/tspXBoLSz4N6QwPavFhXnCLXgQh97UQRPItk=

%URL%
https://cvc4.github.io/

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
aarch64

%BUILDDATE%
1583808399

%PACKAGER%
Arch Linux ARM Build System <builder+seattle@archlinuxarm.org>

