%FILENAME%
cvc4-1.4-4-aarch64.pkg.tar.xz

%NAME%
cvc4

%VERSION%
1.4-4

%DESC%
An automatic theorem prover

%CSIZE%
2681296

%ISIZE%
11506688

%MD5SUM%
718fa4903fd26367fb251825a3e5a44b

%SHA256SUM%
69119a0067a1bca321448ec1f3961047fad561a9ef0a4d171264b10e8a704ab2

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

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
aarch64

%BUILDDATE%
1449991672

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

