%FILENAME%
cvc4-1.5-1-arm.pkg.tar.xz

%NAME%
cvc4

%VERSION%
1.5-1

%DESC%
An automatic theorem prover

%CSIZE%
3346536

%ISIZE%
14260224

%MD5SUM%
cb3c8b984c75efffd8837996bf1bcd18

%SHA256SUM%
f25a152f624dea234e8a18860e20e123a44df37c37f43552a6f12f66f961500b

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlol2pAACgkQdxk/FSvb5qb1xw//RZ1DB61LK4aOQi0bZIno5hBy8p8E7E7ewZX/mlcaagE1uxymPTM3oMVye3lW9jg9w6u8OL5AB9SC2nD0pSJ/IbqTpl+jjHARZWOvZrVEJHCjwhH4y7LUs8bY3zVBpWVVqEoAPoxzaPeiXX2i7gWIpPEYxuhE9vbn/Iu7kNh/0gY7mgAawcxzWcBnz6k/wOi+rDAFBjFQgPj9471F2vw343cGL8JMAaN4Du0/OXkIjj6/oJyRaf+YdEHvwq9b2ZGqO8XmIXyh0KgWT0azZ0q8Btk2rtOAFf+Upt6lQS/xunMMlJ/wWZUeYRgUmoq13HdqAP9gNAKWi/cLZWYbsyPx37AVil8WWHNKcMimkrqcAtoLi9lH97ONTaUba5vWilehY5G6ZRLSrALpd+euSNYblPKcgH5SCnrEq3gGzzbfKVaU2zt10neM+yo77Py9SxRR4sM5aqvkes1rIlsK6gFP677a/95bUJUMN8GcB/nt3j/J7gkF/+7XU+OzX4XRmn5rZl6LWx7tdxFAmZ1l2tLkPOUcWh9NEvXvGb/DYM29pexdooNWegM7Mk4dLJuOXi1ge8kAsIorLbeAWKAE7/t7HAwkEI3va2u8pW8gUeNPDzT7ZF0IGEHFIin8azHtO3fwADYj2hiXw9AkCc8xRoVxzgtXJpH+2RJkG1B7XUJNNJA=

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

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
arm

%BUILDDATE%
1512430201

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

