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

%NAME%
cvc4

%VERSION%
1.4-5

%DESC%
An automatic theorem prover

%CSIZE%
2541704

%ISIZE%
10315776

%MD5SUM%
2d593e4aad15ea92d684504d48007716

%SHA256SUM%
d90ef0164ce52e548f07ff9ccdd5898ddbd684ec8f514afff8700da0a5fe80a5

%PGPSIG%
iQIcBAABCAAGBQJYKyOMAAoJEHcZPxUr2+amHYIP/inRlQIh9yc3wgAEapCek85FqQ9JdIb53Txkdeyz1ZSOBkvtASAQz+5oovoEx7aJIiImIFAY+UicQqHFKOsNZejqNQN5eK2seYVI360iUiMvGdsfVLsyM+TAup1RZih3yz/4C2fC+O/XwEoXEKdXCa1OVn6HdZllKc3+A7UWhIfRqAU/rgxtnjMu6wUf8zPy47ImrG9NdWbEhBfkmGcgQNNHkW1eIcQ5NrB7wC++c9tkvkpccfxUpS96H2IvLk+XGz2ujSzvHfJmIUSiDEwXLkMjRn8QzDEejfTt3jIp+69BaWDq0MxJBc46EJWPz/dyp6BDZEzzD7uhzEdS3cVtG8lR2bR4xU7GUuCz4CQBbKq6igPebcbpQSQpDYOd2H+FcwMyM4eUal6eu85Wj3c1zu6uQiO2Y2hI/FgCid9Wf3ZbZRTBw4zemH1mfUmvVR5IM6uCjOmThHsif5ex8Oaq6fJL2xSXJOr6r0M+T8EvsqPPbhXV6wZ0Wd3+wW+l3RmQYIx9QZnJ5YobsNBtX2mkeWSps22P3zwWTtPzvYkqXiYo6gTg5668hO/dLLXuXrfk9G3BCnQLuHxL5s1xxQ0UKk/kMVgv+zZ99bShBq8Py/p/smI7WcScK559ZTllyUxedDlJeZ+JRbhNUvc3hTrTjThoglIr8uJRyw2CMZI/x6Gz

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

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
arm

%BUILDDATE%
1479222138

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

