%FILENAME%
cvc4-1.4-3-armv6h.pkg.tar.xz

%NAME%
cvc4

%VERSION%
1.4-3

%DESC%
An automatic theorem prover

%CSIZE%
2522004

%ISIZE%
10536960

%MD5SUM%
f5549e70dc19f7bc6175bb46e3244987

%SHA256SUM%
29532ebaa1f189a6ee45395fe3a81d54294f2e156c29aab6ae55087a7d0504a0

%PGPSIG%
iQIcBAABCAAGBQJWGS5FAAoJEHcZPxUr2+amsLoQALPa0mEkKvZO5/SBEQ3HRcEhLHRsoLjwKjceDqKx9MA4/Co2XknEB+jcJ69D5Ldjuy5Uq7RYkZHtcHENdBdtCgVv+c+HLn8+tAHqJCyh8muXcLDGsSk0DkNkt5iu5UQugdy0h0Sx5szn78JOf/pYdWMwd7IFXUwfKiR5NDSyHvjTWnjd+xvdow0f4LrkQzgekTRmIyIXebUrosLtSLF/uM2KonpvS6AXYmltbc5fSkLi8aKztKlS4Gwz58cirIwFIt5L1ElWqjDEeuxaQEpuhlWrpCPY9fqnc2bSOwZ5vl0sSi+T7aTW1R1Il/NeUuPZe+FmMKkVyYvSxVUZFSSYhScvkx2tV0aOFUH//5d4riW7wG+okgiqEoKrIjaIUCMlpt5d3VXkwrMqj5W/rsfBXP4Z9WpJ6c7hrMtY18zyT3GGyYMVEFILE2OFUfnnfx02lNiZvaJ/jsqfvkautAvjweagSXJtml3mTq+rbVey025YKk8nHulASopelq2eqNad9QSGIXcIk4wXJ5uWI4BRr1PJphwPdg8gMEG88gXBzbknzwMaCjXC3w82XOMmUyXsGXJ7ea10rqx6TnEnWDopdTvJvZ7X5aCRhYOgeHIta4BerzNuUSlcHsbW642Dwpx5YhgbyOI9Gj6iN39LH4iViiHJ6jg8tOzfGCGxO7HTSrpF

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

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
armv6h

%BUILDDATE%
1444490798

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

