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

%NAME%
cvc4

%VERSION%
1.5-1

%DESC%
An automatic theorem prover

%CSIZE%
3361608

%ISIZE%
14182400

%MD5SUM%
269bcf71011a52c511aaa18378f849ab

%SHA256SUM%
179a0782726ef5eac56628965196869b45effa31f00da1528ea36fbe0c8fc898

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlol2PMACgkQdxk/FSvb5qbUOxAAnlwQPGEnSGk5AuPkNjKvmS6jrDeXNWfsaTRtkObwWOWL/xmA7U9q2YDTdgoZ43cuIQELnvdc9gQNnY0qAQWM+5XC7mzyUEA5AcP9ykFSvIVnBvgRxCFZ7YuQiXynFVhsQDD3EfIvRgBnbyK8+VOaIdDDNsac1KVG3Hm6af2IAQ9OAY7or67Jx4T6j3YSffyum6wMqQr80MiODpp8ZPlI3OSuzxDwdej5xlqVBmmBoxP2bIdt9U3ITW0wzpdWyQVhYeyAM/j0nVMACO/azeZL+OpQW2S/JTDgO7XiiLPMvNKTDdcSp8mte9ARqUtFdbeXp6hOus3eQnRdKYJQKqM2gsYFeSCfBDd6OTT803NHz0chGReRXqafieTSJG71KFUMTcHcMddkjWnWFCfBrWZtDABStebRlXV2Tk65HCW9V/g0B4OvLGNqGOqpRP5JV+zjZQSyvT+lJezHswZK8y+Jrv6ccGKSFmMdXcNXKQkcdzWk47tkjv0WtqhCUYAVkA2iZPE55gU5KlBvsQS/V2CpeRCxznJNmjjDwCjA5wymHhY0x0l36H25qGF9zXJa4Q392YAlZ4Irc4h7FqxgYlLcezEaffXWChwDuJN6pj+cMRbYcBkNomNs1MZr+nUzDnmhad7yWJid2daGNNLlmkumPMbmws/YFLjOvLYaSVCsD/U=

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

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
armv7h

%BUILDDATE%
1512429787

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

