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

%NAME%
cvc4

%BASE%
cvc4

%VERSION%
1.6-2

%DESC%
An automatic theorem prover

%CSIZE%
3929884

%ISIZE%
15929344

%MD5SUM%
c64989570eeb6fc8e06bcfe4a350ccc3

%SHA256SUM%
41d8e9196bf7381c8299d4e4fd4c34794f43dab893d5b7de813573cf8a6cf1de

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlw7oyUACgkQdxk/FSvb5qa4Ug/+NAMb3DRsFz+uvNlrUQCiDwWTPp51q0iD53pS0O2d1yzMGJi9TqflZfg/3wwcHjqOyuLAtxEVo5Lrv4i+K3f2KSsmfDV8f7g5Chcuolvl6KZ4MJk1taFceWRnJwJItkFxuuSINtr0uuq5igZKcfo8e65iEqszkpLYFsXVCR5vmzGlODq3PHpFMjbQ4iXABKbuS2S6vUDMwlEntSZfPLRUzzWHvCuj25qSY15EixpcJa0KT9sNlRt0zPoIgWjRx3JvYkGuD1agQqY+Bg91xNoK6o9cWcDvN/+1mr38TlaHSQn98ZmtymA8LUhFh4+KQMitp774U0uEwgYriFDwusx+uSy2Jg7U1SxP+mQbRhE5RTTD1praNdugo75VLTFJS0DNp8KQ0nx8AX7I69xx8feCofWWaMxKiD+IB2BsR5r2xPaCplzwdgrweJfCKjfgDga1/KQgRE9A9YcUSSUKpjnSnXiYhTQa7cZxjvoNG7Sy0hEsnueqGLyAFQVtitP8UfrOZiy8VObtm12mFM9ficn7mENcCG0ya1NQubN3jDWYVwl3Qz0JdVluObwevVZpoY9j0yKb/FlxucQJudtUs3M9Q86L6JrdnyjARazCviSpvGwK8wE0kE93p5/flpRbynJ0m+JU32FztX24zmWDaVfmmELCr6uIfClfr2zvHW3CCmE=

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

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
arm

%BUILDDATE%
1547411732

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

