%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

%PGPSIG%
iQIcBAABCAAGBQJWbR4EAAoJEHcZPxUr2+amH6IP/il86FYeg8lhavDoV3bH+7L6xn7k9qauA+2a4qEq39qRnNm9pkMjMpoF3QCGoaC7cJOjdL0Fqd+VmBWICRpHgR7dO1KEBtexYv/tVKoij3/YcUr3EKYOM5iyJI2OPwZDc1AGQxHOmA+gkRtV0N92WH+itVcgAIChiQvFau0Vet8tILrBGqP9fur0cnUI0kKso9Lhhvhkx+Hnii8bKHn8XjgrTS+CspnshkccTcuGlGgH9kDRhD6kmumqjHv5hq+aLSX3JbygBOe2Bys4TuoleDEindE9pJEWVcVy9yot5DZzDSkzgfSKi4y0ntYx4LLEYEdABSsnY2T1FVaIG659nXvaOAJaD4SLXzyOVTDHvgST5JiTBJ4nhBaXLuLYrNcgn0Ou0WmcJRAqyA6YKxxTWwkHDjGX1DC83XYukiTv3Spw6xkzU35oYfb86+fUygOU7mIO5E/eESrfRSytg6MTLGV8pWSWlIHo5N/Q5XI76qA2uhjbnHeC5RSTJU8iEf0F+YFCGd2iFBvcYnOzbUdeKJ86GrM7eE2eEWgXZqQXYhTwfiEtoxyQuDG7FSJDz5gYhgubqqG1wpYMiE3iftqqunox46Ez/zyosOXXOFd97COcE0tYScCaKPc/Ivzh5bB+TMVgteVGFbMgDj1BoD3iGa1xBnWcerixiDN7v4sn+vs+

%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>

