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

%NAME%
cvc4

%BASE%
cvc4

%VERSION%
1.8-1

%DESC%
An automatic theorem prover

%CSIZE%
5163136

%ISIZE%
22027561

%MD5SUM%
fd5af9db48549ec1c623c72d4a53b7e4

%SHA256SUM%
2bc22d5536e3a4a4883603c2c81f7f8da43dddadc4042dc1a5669a19d81a9127

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl75E+MACgkQdxk/FSvb5qZ2qQ/9Hlhw42ijzf7bHtvKCEZQZ2RRGLc/LnnvTO8ttmPFCAlHXLfHh7v3wjhf8fa/gJrkAmmYLha1xXcCfoR1aU4c4vMVgawONlEzzuaHtmNkRzFE5UK6CFFIHWvel+bgCM5TTzHr4pPg26tyN1WntKEsOQXi0gst36kGGmssybRM1EeYU5qd7F0vwW4Wd6b7qHJh7zfvO3wWaxKu0h/RcrMOVcLiNhkxbl+eX+jnpDHPHNi0ARLZ5Kuvlsf9hWjRXaPxdiwCCXKCxpBebnlQ19i/orfApxY6xz4mBJdNG5sRVgI8f72PvroNTZK7DqV5t+1dsGuy12uag38QEliQyMfHS7pJYDIlf2LsoStV6bn1NhINICaAkivTbc1RQCDIlrshRzgcNTmCZfZ1wVDeXHsM7iq9M96q3MTOzxz7a3usum6MGl4IxPXBmfRGF3Da7203PYimPlSrskX3CgdhfDBbTeyh2WI69FvX7dN7ETLFps+sO6IfOs56z6ohOvKg14S+Q1sTCwClHdamfiGBnM8qkmBUuudu3VH4jVAxyIej7w86DM90fF+CzGhEQFMC1Xu5bBT4g2kxStPQBQq6QgaVIQZn0KRw8RkXZuFnA/rbbQV+Jj2EhjEfswKf7b7ZMuTawiyZ4fxf5hBhnxKixnrN72AdCsB5s2uNU9goqlTCgDs=

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

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
armv7h

%BUILDDATE%
1593381308

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

