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

%NAME%
cvc4

%BASE%
cvc4

%VERSION%
1.7-1

%DESC%
An automatic theorem prover

%CSIZE%
4758376

%ISIZE%
19882250

%MD5SUM%
d742ed25bc0799ee3121403523f36a46

%SHA256SUM%
84b073ef78641c9090279482d7ca9701d583f43077f7fdf552e76ee18e5db429

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl5m8RwACgkQdxk/FSvb5qacrw/9Htnc+Qc0gpvE5tH1Q65Vv3SUOBis75xZy5kKbJeQfqIX1nxr4zBJMFQuTpD+lNIbSzLXsPEo0w/n5pVFbH6k7OzeKFB4QZjPfAMF4jK8J6MyG5ru8L7onVEv07ChpIeBpzWYo61spkL0NvjOGGZGG+3ziiEzenLT+d25GspycIC2f8d59CUv55qgbaoPEASw3EE21XHGDz2NtYc7doSsl/V4UnpdZ3iJp5xzFWDKDP6HjV/xoVXnAI7NHCbPiCkosGsLlczaTmueodC67+vdbHrY4kjthiC+WqaYZGVLUVO6RTWycS8MNW3yeQPFO9UZSVnoXFXRDnbPyVuuFm1nOW/JhpNMjqedUhIMYheIhdQn5jGvDyFugGCQH4AkWYOOQOI7oq3J6zBJi3S8kNOPlh0+NyfRbrg9JXgWf84GxMUBZY19gCUZjZva24dUo7C0DPGVQ+Ueolb4BWyZ4UZr3xoIQ/cSEmyPxC8NeNuqZIK/44BoI8AoJLtaunnxjoDgPuS+7ZqmDOabRUKFXgz0cw5a4XoNYznY90mEKQFPOClDIsefAAi0bCRO4mRQjSFXrf5HVEPeJiAq66g1p7D7jEXcCTVmHwGJlcXDfeU56qe992cuxaiiDIIxvSdc4J1DERqz9JE3/BOdy7QQWlc03QqorS0x4JgKVhHl0vBVnQk=

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

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
armv7h

%BUILDDATE%
1583804131

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

