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

%NAME%
cvc4

%VERSION%
1.4-4

%DESC%
An automatic theorem prover

%CSIZE%
2534920

%ISIZE%
10463232

%MD5SUM%
7e3b2c71c3b5ac5455e84edc13945d2f

%SHA256SUM%
ddec8cd1cc68b641a7fee75447542a13973000e701d1f75ad8bc37726f084a19

%PGPSIG%
iQIcBAABCAAGBQJWanoFAAoJEHcZPxUr2+amHnAP/22PZxC79evuzomamtVZaYRpoA04O0txcFU9k31fe/NpNAQvs5IBklf5R/FSzMRLRmaG4rqZigRdu0xyoXSHJiPfKU29pmL+gLpBQj7ljlzJi6USdF9CjMLz1cU+Gildi9wikkq1WhTvZR6hogaG7OOk5LJKWuB21pwRwmzX5B/yJu8WFKrSCt+54BXZ4dRbsh9/6Y5BOTeRD+qXJJlKa1/tYAW7lvBzHmbYBuImDbL7fh5WTcGkLc4mpTI3jQYJ89tqaVKESFgNYdJ7rP5x0/7T08LjdiykHIOFTI4ZYBso2bHnm2DEtklZX0XSUNWvKzmksOIy1MHONUDUtAW0mj+RbKOUNkruL+j63yWs8jWkBWh24Ymk3linc4LBaOez6cv4jhFsjXj01h9JCmOlqfzhJhwyE2D1Q/74Y/0yTwqtoNWeUVdMXzTvUauCDh/Y/Crt5HQ80gaNHdpLsGsripzUireGDpgaTElZEAcrhrkSoe9CsqwR8orO7VTcPiKolENOc9QdQR2VaUhTOjdZtZwWMP9bRrYskgfw/lFl/4hbDVlX9eqwfZAxSUaltIGp01EeK/2MCZoGj5EqJhQ0AlSPJQ9BwNzKlZfGf5xbiceEMB6U7AlnjuLGbBUJydAdC+m9ma+M8RvgL8l8HxRYZ62zpC9rRGM+8NzPpKJm3CpC

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

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
armv6h

%BUILDDATE%
1449818608

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

