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

%NAME%
cvc4

%VERSION%
1.5-1

%DESC%
An automatic theorem prover

%CSIZE%
3352604

%ISIZE%
14276608

%MD5SUM%
ffaa4b96e298b83b13359a8c0eed6028

%SHA256SUM%
8a056032574c6a1f4d057e5c23ad7612470daddfa82b39acf7e134985f9f7b61

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlol2bQACgkQdxk/FSvb5qZmehAAhmyOkUd/VcChFr8XYoO/oJUXM8+9AQWU3r+NtEuqW3MttTZftxpgzNCFS9WxDIqVBT48lCQPoJ9Quuwo2lxAYTsQD+v+a/BBRyXA4mkDYbjRtJ2+T3S/xRxEth/6XTgNMjKzTkaIafnSeW1yrk/4rOSKOWJbJKUkv/ITuw3/CZpwG/Ov5/XWY+9rubhvRLA3+oXTf8Iab6u+L3SrWCZRY4sY2l2GoUxyHX1gN0olwor8PV2T05d2i3Gw0DQ7VKroBOWvRjsHFs426t/zlJ5O44zUooKWxMkxr1+yo4kV+vt/UCI8w6F3FcQ3iYa/Lxx52yDATtYd0XFO4usrsYQgb8GfxAWXA7LRcu8oPh/4FZ9NYrM27+WbGwUFF9bVMITOOqBBKZZmXMgxVs+sHDkeZAXZLZsWBwVgo3ek/V2iQt7L905o/LmSuQE9ZSMR7AS6/SwY9w0VDj80bSWxGL612WiXAVUf14EYIV1+w8q/qVLOc72hVIf9SDd/+lMPABGnd02fx64pPrD1KPZU1eft6uIMi9PV4QOV5TfuLeK4Nmmxxk44yplfQ5ECSS0HxLnkGBu1e7oGCC1acqK1SeZH6NuKk2Pt9TY9rAJiXjrfui1yYINmhoN3dNr3w19TtM2vvSiwWQwq4l+2vfRK2MoT52Oi9UQsGXjNrENNZYqZAxE=

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

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
armv6h

%BUILDDATE%
1512429981

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

