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

%NAME%
cvc4

%BASE%
cvc4

%VERSION%
1.8-2

%DESC%
An automatic theorem prover

%CSIZE%
5190072

%ISIZE%
23731514

%MD5SUM%
04e91663dafc06b73469369363c47578

%SHA256SUM%
ce739cc437cc01808e34c6944cc2fb527ea03f83c1b1934367afea7c664598a8

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl9fgIIACgkQdxk/FSvb5qa/QQ//VsPl9ZV4kFNUHZlKayogsn+hNLd1E1aTIW/UljaBro+wiTu7r+QfuWJbTTBR/8/h7JY9DrdiegrO4r9/fafEovUA705t5rORYa14lU1yzzRB1ba7bvHFsQQSvUJLvmCaUfddiwzCKPwpc46EoxMbRp9CLO8pru5+tP1bapBTT+ah7wqlu8zVLyYVLK9xAJHvRC7RcRgMWioBifcZU++eMpkpyG6u9kqOjttWf/fzrlvUusCL4uN2TtFHZeb+NgF5JGG+JRmNPsR+js/nyxlgNdaCYfZ4ddjt2kxHUrutFC9sGGtQQ6Bsh7He5bWVixQo6D/GY1vRMGhXIk4lSBpC0TVmfDqs7b/EuPbpwDcUQkRHCX3nxtQV44yj577Qv8t7PtRmFtzzpbgs9SfI5cjfY4CG1R+nevU7z5uB7gy5Acmdv7aO7JVD/FRlr424zusj1jjCHaTdFOowTBFUrg1fcGQvl74Cox1aMYPzddaJyezIyOa7Yd1OITPrSL0ekURMkbaStkw99ksIobbwRPJzFs2QcvyQlJcGt9t4x9eoXfPbZz2mNgH4MkD2Xxnz4xtPLjYfKUR8S1KmJRbGUhnbRttZYKdI5BxbrSOPpkiusfvJgcK7I0FDd1848MB/nwiQvPCKhIsKCbRpY1V8UEUaxk0ZUnJF7HQJJjGSO+m/v4w=

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

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
armv7h

%BUILDDATE%
1600093748

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

