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

%NAME%
cvc4

%VERSION%
1.5-1

%DESC%
An automatic theorem prover

%CSIZE%
3754772

%ISIZE%
17152000

%MD5SUM%
6e1746e4f9820c71e1350cbcc0e4f2aa

%SHA256SUM%
38c5d2d52f6c5d0a5299de60a49b73deacee241a10e83eb7d898d1b63baa571f

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlol1nUACgkQdxk/FSvb5qZJ6Q//YBPjI3IzONxMfpEOhXRfwi5e4Lj/7gtfgLSL9XeeUWGl3sjofd52EJE4XewVkKM+KgeT7ayTdVKa3Q4wTGIx8HUKFWMmxqSeoMLCZjQ/Qf5nsljmSWhAX9eJIxGFPHAYr3OOxb2tsXci+dXDfu7Y8OA11GbmF5EhKCactWzwDSrGdQ13FBdirLNNSAc18v/2NMhl3pMSbygKD8obXuFhRq0sJ/MjWK0xLZCBzU5BW1LWxvaQf/X4JMdv6n+T/KohW2i13Dnb3v25SxxsnKSDflnEGHaZYFLwTz4/XP6Xmj0V88qvPosYQJSMW7nKJsKMF2f8x23jQ9+XtnTGo2PrVeF1Pt9gzxqRTga+rPjBLaXhVkXKfvhscmf6StBk0//3IYn0oWHR32IAyPikbJDnGQbvoM2qMCRS9dqEGgiO4I8MP8jd03qWMhA/BYOQt4RPSTI4qMLjkoiEotGD5hxA8tVd1QuPaKsjyfpSdN81j68s4p+ZQSfXH/ka/O8lYmJ5HKJxAOi5IrN/9F9mKG4mDAdSTSsSwbcsnQ//n/kJ6gY4oIgSVfM04tCglFHesNiTpy8tD10Nar8DPJ3652tg1e0WxtIsiiFv+7T+QsWPRdriGgR7N4ND5qACWlB0u2CcOhrGkXvPqXKV7xztvw70nf4PCBcz0i2lp8BUVYxTmwc=

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

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
aarch64

%BUILDDATE%
1512429155

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

