%FILENAME%
cvc4-1.6-2-armv7h.pkg.tar.xz

%NAME%
cvc4

%BASE%
cvc4

%VERSION%
1.6-2

%DESC%
An automatic theorem prover

%CSIZE%
3883372

%ISIZE%
15784960

%MD5SUM%
59a847061355a7b75d9ffdbe7839fa01

%SHA256SUM%
0362c4caeb26c48fa9b3842442cdd5bb0afb78efd7cda88bb9f5334f47bb8f64

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlw7Z28ACgkQdxk/FSvb5qYzVw//dwQTnm2iw7mQFEI6vqkSrWGAU95AqQQnK8fV4cbpJrv1CiC/sgNgiKX8+u+GjiI1pbFOBKQ9vb1rHT60osxFBoekMAsO3yB43BF2tHLwbEh55a1VnThxP60lP9eiKrJvnpIsY8lysZ1XBKj3zzskbmBFr5pmLbFxwTeR9RA19qC8rCDta0VHNkTh4aORvhahxn6pSrvFe1syknJd/PlpaZNJRbZd5MM2sftth+Hlxx91m+5P6tkJFFCtJ3OWo017ajQBY2UOHY49PYetKQ7LbSOv5Ld1Xlo/SIJjMf1LKY38b1DDnAyemNl54p41Kb4qOlZ/drp667BIogSU6KPimZIwRL7spcJkRKoYmQHwx4DTeJsKUJewEczj+CqBn6RD8PqiATj2ZDpq4tfFQtsBhxPQTBCThf2QbqNfKNS8EfvCuW76Mugm59Qx5Cr+EegkjKBOBDYBASI6IUh7QlMZSEZhk8u4MYN8aOe3YxKtdykMz8szVJlrOLTpqYDJ/SSPggQUZEmBW2H8NS1bh9eTPN537kxR66kVa7VKpxFn/qnHyv36bAJYa1suiOx+W/tZ0ZHtT6Zt/L+C4T2c71ed7JlZx/lLBDP9ph1RtZKlhXJjSAOYPl30Htb6YdBNrTN03ncFPn+56q4FNqJMO44izCKqdNQ13x10s92JUQKePAo=

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

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
armv7h

%BUILDDATE%
1547396463

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

