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

%NAME%
cvc4

%BASE%
cvc4

%VERSION%
1.6-1

%DESC%
An automatic theorem prover

%CSIZE%
3929376

%ISIZE%
15929344

%MD5SUM%
47eece691b9bc97faa027c3626764228

%SHA256SUM%
e61e6ab53ff520c6afa342fe074e98c73581c95652c0d171a07574b60f48a4cf

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlt+c9EACgkQdxk/FSvb5qZ/UQ/9FK+PZ0cfiLYLjHAdlbV/kztonSzlFWY2ssKKAKJUK/2pYt58qiTiJdl3nC9l2UnSgQxfzQp6/wTayQymsJZSXs+CwlUvzoswTATlNxIuKIvXqNADk4xYj6YSVzYu3ruibZJHqo+BEXCoeNJH13hhJlc0VALSZFbHp3GWLVD8d7AKtME4qT9qC+AHtqjzumWPdm9MaIEsxeY7s4RF13TKYh79i9zDzbPHKB4IAiM4NjuokAlyp6AC9oNZ6ZbNdxBfbgdlKtqWJlqJ5V2wILN3pqjAdjkMCBGIeKbk6O4pudWM+gcxgYE7zN6jwwvAMyKeCeIW3i+mMZ6/APfEo1HVVxJfPxy1R+jL8NniJaFBY30LMzp/OKArY+OncFbRyi9GMcln7BwFm8eQqpWE7KXHAoaJCb23ikYVVekJMtDUb87EPYSSpQxjV6dZEcHcU9b6IGOn+deB02H1kexy9yAK6HzlvYS7BarznhB3tL6MLUN5+hYrtF1y2WEWefIUnXNxNvNyFiYbe+iaqpcPWl6U8tRFB2rt5OCRf/DGQgTJVkXz9WgJaCGQtdYEsC6DgFGd0fIQ2xuW01GIrEgMpxlyXmjyVVBsnUJbOXDhcOVhC1RNwuuxeG4n45SiEICITd6EeGPfy3+ENLBPU83jVCN58uowP/4l6FVahTFas1BjkVM=

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

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
arm

%BUILDDATE%
1535013186

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

