%FILENAME%
cvc4-1.4-5-armv6h.pkg.tar.xz

%NAME%
cvc4

%VERSION%
1.4-5

%DESC%
An automatic theorem prover

%CSIZE%
2547096

%ISIZE%
10319872

%MD5SUM%
e3ec4527c5c6ac1a0500ae5e5c1748b7

%SHA256SUM%
db33a01b4386227a7dc3cf51270a2d28c2393821723ca291c8f382de78199db8

%PGPSIG%
iQIcBAABCAAGBQJYKp5MAAoJEHcZPxUr2+amM5MP/0t73tS1ePtkP+iYJ5b/R4Oh4dAyoKejZ0QzW92F0velI0pGVEUD3VPuYHvc8nDyZ9LFdrgRr3g886axYcUZKcxTkj1IdOCRkVYb3pGiw9fP3ZXqQBOHVkudBJqA9gG5S3H3UKQ8m88Li0E9ae+oRqUsXU2F4uIpXkfQ3+fmJCZHJTeXm+sHfZtm44Q6gPPDDOzsJIth4MOQ90JulKeEG3hIlCZtBRQT3Ba0yJkIvXJIpQG1KCoPjWN5Od8rOzNqNPwJDUhEigw/QuVr6C23aQgzDRXrURjVhdBeiNCq2SYVLbm2WUCGpuMlynza5NrzbINTIJbCNV2uxgK/dAuiVjEXtjRgtUasmqd+bwo3Vmk/31BhHfFAe8dKWmMujXWdQjFPQrmNuRg9bzWSKiqEQ5EVwGbBTkfj9veYJ8mW0oUXkVFLLjXLP7G9NyH10x/2AVAj3531IIy7DucaM8z4gaHqUN3UWuyg59P/TpHDC+z2vSC4XtzYdJiceW8fDmUK6KfQv0Sz/jybrfDvRRvaVTZcfo1nU57CSOIhXu2uAmS14jmYVMKkpPih8xwEkPnNXIXbZNPTlVV62MJQKdTO2vTvxCIWLjM4oHFjabBdvVAyzqPq0ki+jpBgl9rh3zORyJmbEGeHYiW7IT75l4wtDMUa2IOamlGcwyF5Pc5gdYCP

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

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
armv6h

%BUILDDATE%
1479188026

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

