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

%NAME%
cvc4

%BASE%
cvc4

%VERSION%
1.8-1

%DESC%
An automatic theorem prover

%CSIZE%
5278360

%ISIZE%
22223109

%MD5SUM%
c4cfff93038db11c7102ac1bca038da2

%SHA256SUM%
8d35657b950b45f5f52b0e72b62cb461c736677ac7966b00583d580cdd106817

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl75GGsACgkQdxk/FSvb5qZnYhAAt9thhV0Uk8SJjUfBBAWoVRvrYnRTu0miyZgZw6yd22g3HnG+nCdfehXJlZWL8JXywjnNKkhZHd2pVi8iEg4NmdQ4uB3eRcr7LUL+30SQoh9VC2NqdNVEwepJeG6M3Ll4/Nwh+r826HtE5jbaggFKhBPBJOSfBc1ckqQ76UVsOeg5+fZwDet0NJwqphPGfSfMI90gtkJLJuP3r3feQNzo/d49F+4Mp/EezIVxhxVuEVfSiJBC9IIJ1qiMMZAjTH9cZbWeo4tBPAYg77JaJ38749oUbwuSgBfFJq+t29cRuhjD/ZgJGEff62X4UqVzmOsPjwP2mAs6hfcaAFrTGpQIFZs7g18iY1BnN8yM+nTwAuHlzrCfeXtVKUtZwwV0BIhG1KiV0ejq4yL7q7Vb+nevLFRLryDJDLZ2KAqlbF0GvCy3/6PkNS3sB1VubGEUAGIa6G/Zve8ySEUNF8Bj9s3bdW7gbWmAVXshIUU00DlF5H7zWXHojWVl8LSsivx5ko6wlgy1Pi3alc5YGyYhtvRUFFrTRhUfXd3DYXsW+Cejv4uP9ioLKKb3Ig6+VzRiQgEWX2umLIpcVF8FBT8503K0A6UMeKql5/xPz+f93DGNy9lWxTCg295nc6ReaR+lKU4UJ5YiAB1zR5F3Ll3OsDAuruUhCic3G9ZYmonFUsTZoZM=

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

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
arm

%BUILDDATE%
1593382260

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

