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

%NAME%
cvc4

%BASE%
cvc4

%VERSION%
1.6-2

%DESC%
An automatic theorem prover

%CSIZE%
4009952

%ISIZE%
18733056

%MD5SUM%
3da7e423547558dc9f851da681024ad5

%SHA256SUM%
0675f8aec991285f00352b65bdda24181151f6160597f00cc0243f64c39bbab1

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlw7wDEACgkQdxk/FSvb5qb5Vw//Z2pFX1m0HXGb8Ur6JfgFVcYMB7AQvM5uxc8cUB2vCFgMYIxUCzDqDAPwgO36KKpC5e5qIhgmK2/2nAqH8Zj3PjO6xYkdM9b4RYdQ3u5A4YcBlIbEbJAfJNz1Awoe3Dn1bBGCdoIjABqHDWbiArhcnVrZCsMLZHHE+XOp9vgplzOYJUoUSnY8HV3wEyqAtI73ffJ7RUAt4QFhVPwGm3+a3hW5MqvICwaQybGzIPHdCYeLsnt9fGUhXJw89MeWIjdZ5saUYCNi3SZbRzOPZ+ewQDRUyIwrA68BPPS1c5x5NkkOLbiCX+lHSH5Pj0984R5XlUCm85V057G7wr0Kgi9Cjg/arzgbITY/nVUXz3l0je12OfOGcCnph5I6IGlckk8eEXk90HShz8VXml7+QrwEqkhhq6yfNCwlJ0+jOxfT3Hz1MIDv7pBdSrRNYYMHBeXthfdC/WYC0r8GolP/SP4/75LBRUDvtlPoQ2AMZgEObvQ5PVqGNEtkY3JLjK8mZ9Yrp6+S9waJfMVwbvwf10EJCxRrHwPxTmc3iRzuu3eOMfAVeFDOb9XZ5atgYFLs6QyolmAgoLFWZ7xGVrCKT89ftyhAOFLqQya5+003/4iv8cykKhKfsUK0DIrSHiZgDnkg5AC7ZYXq9K3qjyxOkVilYvdzuiJILL2Ksw0u3hXdrt4=

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

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
aarch64

%BUILDDATE%
1547419424

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

