%FILENAME%
cvc4-1.6-2-armv6h.pkg.tar.xz

%NAME%
cvc4

%BASE%
cvc4

%VERSION%
1.6-2

%DESC%
An automatic theorem prover

%CSIZE%
3937584

%ISIZE%
15948800

%MD5SUM%
e1a4041ea1873a29969202f334d10fea

%SHA256SUM%
7e393c25a8459b4bfad99576efe8cdddb0d7fa59658d21955c57d2a7e210f3cc

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlw7hGAACgkQdxk/FSvb5qbZkw/+LJMcJoy8bqIW4woaLgEN17v2dWb5nlRaXp4qCMTRykKaugUtwHDTyEEfXNWTq2pk0zf8gZWo6WblBbl2FSIUVNBV3k+p8vEYmnQ6H/RHd+A+zNcI2wQ8o0soX+0NgvXjIRwatuDFfeT0ZvOINaOhcQiv2VpxiXXCxubMrKaMkOv47wofRFMkWpQ71uBgSwrSjQd54rCVocgtCVdnQ8nw9VO6FPcMlEP5ZVxbHYp667x0+gZF4ilBsmhS+uhA3dRk0J8eR+XmIst8pecKkmF1Fnq3CKA/zC2qRANcgUeBoXXP2uqjCs4V/TMS/wk2SSnDS+neX0mCovl7iZtkLCV5sxnC0jq2c5kO0myVCKwofiGeMCL8tC0VwhSLElZEapYjJAl2oMEEoMFlBK2g32Buc3J54Do+UvctzsOuR78u2fzI7iA8PmIpzQTJv4F6Q1hmdpxRJvYqX1QzpVTYwMRzaKxwJ6SNmo1fsowfX8guriOSEbmkxHxGmLWZcnsLVtc7JqQKYOEXJw5sSmtZH1oXW2Uhds9XiRdvjnyTxqtPOnrJCzC2ycnDnevEfgxcBhBDKpHq+Gi3pgHAa06dlfl9n37+4yOBe51WHz5Rnjs3WlKDJ1cFNGgIY4wQSiWCdgWKFgBgAmZK0u7iTtyveoqe5tmQVNnfJGF9x8t6CqP7szw=

%URL%
http://cvc4.cs.nyu.edu/web/

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
armv6h

%BUILDDATE%
1547403876

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

