%FILENAME%
cvc4-1.8-2-arm.pkg.tar.xz

%NAME%
cvc4

%BASE%
cvc4

%VERSION%
1.8-2

%DESC%
An automatic theorem prover

%CSIZE%
5308164

%ISIZE%
23986042

%MD5SUM%
285d6b9468ca7c68c8a764d3049f6d42

%SHA256SUM%
bd1cdbcdceb8e62f64bb7fb55afb8ec8217ee0dee4a10c12584630eea3d888e2

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl9fsNsACgkQdxk/FSvb5qbmrQ//aQULan0KmZAT8DkYrUo6GXwr4C4TVRn5YbSQeDzdemNamdzvMf/IpSp/DYEdJKMK0arpRZ3bOsk5ikrKSn2YtsFMrFzpynY7yxkn7Bf5V69g+O7wCXnGyB0eBnh4JMZNfZtodCHUbflurdDBz16A2P2cFXjdTjfnTVF2poGilfW49vDbNOjTEb3COryMhO5Ka7AFsGo/jvkNm/qBXePp/gnp974ci9+kshro1WPg0Zy6n8K0L/jmLbszyiB7ICg+NBeJ7PRQg0WIO0gCiNMjU/ir8zXVglA+DpPXhso/OiNvB/A2gChLM8sN5YznLASLddLWApQoyfXl8Pp7HMs+jqh4qJXzece6ztJSrAEyr7LqkLdBEs1WVCbpwks+9FJM2Omo2EA20ulhEUPFcHC/EgfXI93st5YsMZNJeuknaCnviQzEcu8PcDhiNgvw0knfYSZlU4AYCLCgtsRw2ktYW90f0zth4vTPpk4cffNUmWPQRiKquxswePOxW69vlgFh/v7QaK/68eYBCUmZWBSgwgUORjJMaNKX1Q+XE2dEkluJXUqe3tdGoW92vV/J6kjRSlKJcxWEvSfBqGlZ5i7Ds569tvFCQJ8LjKOpa3LLDY86HiCWMcEasDofuAgb8Cp0GTRlePt/GE4hHifEiPiiKPphldwUQcyI1/Md1z0KkIw=

%URL%
https://cvc4.github.io/

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
arm

%BUILDDATE%
1600105963

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

