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

%NAME%
cvc4

%BASE%
cvc4

%VERSION%
1.6-1

%DESC%
An automatic theorem prover

%CSIZE%
3883524

%ISIZE%
15784960

%MD5SUM%
5e139a11b3e816468c3872fa3cca6e31

%SHA256SUM%
1405e3051038d4d2d820fe04107aa2356ddb169734a61a87d1292fa769ea33cc

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlt+rmMACgkQdxk/FSvb5qZhWBAAgo6MMOGnE78nPK01/evxz+HzFfXB+qpFhxLkXyL7YJ2cGFdkpsZgbJRgiu50zQbOgUUJqf0daz2do+m66ev1tjjwEY9mo6qAjf/eH6chBxQNGvGrcil443fbAu+bsfoddD3NCLaCM9QXtFsBmXhWz7mPK0B7dqBr4KTNC7zslxllMvKk8fWnsjKfWE6q1pUJLN39q3P0zKbUxwfpDxxuMHFlgtWP8AVZH/2Tr7QSeQzGwacBSisBQnri4e560SaC7Ea75d+BYOBB2itOBTfqNzVdS+ZlXN0JF0mWM6dYhNvif6T7n5bENlpWz9AL09hVjrwHxjVnmzx6dhykApSGdOXNiTiegcGi1yevAgfVtrk0bsNxmbZdZHX5vJL77E0U6VfYZVyELyrF3yEK4gdaCPoU4YpNMvE9YwhT/ivsbWBuABJhbI+XRranaQrR28AogBY/v+OTcxgDEQ74n+uGBUj6gUdm1Jmw0eo4IVfa2mNd9OCnFY/i2ItEBJkwgR17/YG90rsavTMHI2/DR7ChilmsHMqikNKDWpluB9P5XzFXZT7blC2gxf5oy2CfI9LdUk9UiQDH2xnta5vSXzhjRYCDCHkEe5++7SI8DKtmQnGB0EYuCq7K3J/oBF0vbw+LJZl+S6YSdRW1baZs1olbK+jKS4nyXOqksRT7CJe7tpg=

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

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
armv7h

%BUILDDATE%
1535028162

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

