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

%NAME%
cvc4

%BASE%
cvc4

%VERSION%
1.6-1

%DESC%
An automatic theorem prover

%CSIZE%
3937124

%ISIZE%
15948800

%MD5SUM%
93dac1993e5b865150f19140120c0b34

%SHA256SUM%
bf7cd28e89d89998cb3142e536429ef20b0669b2d9484b2836f07b87f4307820

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlt+sT4ACgkQdxk/FSvb5qau8BAAwoe4KM9NaowfmUwa/7xncpuPOpRr9BNEn6XC3p2LMIuix+0lw3UAZ+S+o7aV7oBU9AXVWSBs695Granh6/pXF+D/O1SAdN++FujQhpDbeZ+NFrk3l0bARsCceJ+vfMamcKYCaNp1CAVLPbPH1hL7Fc9rtVsPHnK8aglcrKKfCPmzDYpC7M/6jSQtSa5M8SOS4rrREWNvF9jrRyT/ZKxaD7F4BLor5EXYkLztNAjaOUTWTDzS94fkou1ab+/451cDk1c5Sytpc3MSjTjSNPNC3uZA9VpGM0XgLUIt3AWdNgi/CTzYg5PLHbTvAyPVklIs763dpYMCENUfDLR8b7DcwO1CJoE8oFStIph1mF4g07KNzl0xBIZwYYtKLpw9127aA7gfWVwKMqz1UlIfCcAqClEUm7fA7GKU4p5dxy6kaPFqv84rHcO80cp0V+Y4H4uWzel8Cnm0AQ9vsyX7ZbFP3NNAjeFue8SDioVZDEfadxGLTCXfvodGs+G/X12q4d+pfq2Ul0TyLjpnXqJh94WHuuAgp1MYybk+XSnh1VdqxeOkZoKlqHnQrhYSH8tLFbFOFbFGo27rC3ObjgAzbDmryIIPICH9xITVI6IJOunbnQro3kTJzsvvuS88RMMma/NWcGCS0B8UQUek6qgjHGIwi35T6UohJK3oon1hr4gaA+I=

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

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
armv6h

%BUILDDATE%
1535028753

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

