%FILENAME%
cvc4-1.4-5-armv7h.pkg.tar.xz

%NAME%
cvc4

%VERSION%
1.4-5

%DESC%
An automatic theorem prover

%CSIZE%
2482516

%ISIZE%
10094592

%MD5SUM%
0402e8d4af82285a8caaa527d0ea8504

%SHA256SUM%
c560169e4e53b8d0ff013d9b0840470ce96eb97f0281a75392315345f472f3cf

%PGPSIG%
iQIcBAABCAAGBQJYKndCAAoJEHcZPxUr2+amfy0P/3xnAdjwS65iiCI2NioYVhzTfanvoW/pTrIV0geFi062nDfuC2wblIkFBXpDXbytAKUWbarl5pOmi03G9vB+f2d8AQX+LO3jWCJs4W9hnOxEbfq7mcWB6zQ+GHDTPfjic/gKhP6DSQLfqQJwOfY6eHio0eM9TeNwCE9TflJbCEa3QPQPeb3G5rz15Tje1b55ERN1jbClworEA04nq9f2oyKFFprfTya4QuwdzNZCFK7NeT0hFt8i7A4nAcSNrlQ3PDP3fBWVs/ynX4yYpKk0XSbjYwKt+cBtW8SNFV/UdIpjTotXeL8hio/Tmz/zcfTOOy+/9avu4y107Pw2ercRuzO4Ws9AcKf7MUlqNrwT+uJkxzJoquNvE/TwVLJSCK9PH1DuZDjs7YV4cT4qCmLWd3WS42utYqpZXWHr+nXvZ5P1byIm1FRvvSlaAB0d4UDab9zmU25TQtH9m6H8ptZjWyQBNhr7orV8N3CiJZ5z06aYnO1XhXJIk4iho4IA6zvKZkw/mHAAHAmpEPuE6kgT54LS6qOfHM0T3yYI/TE2UgI80yZr50xNeHBRubmY62LE368h5Dcfn2aVZ13X9XHX1eAsMAjQf5wt9qW0se2oLllzHnxHU61L6S31p3LiPw7ivyQgmnhp8InKn4yQ+9jcv71+/jUiFVrcSAjZurWpvAn6

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

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
armv7h

%BUILDDATE%
1479178031

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

