%FILENAME%
cvc4-1.4-3-x86_64.pkg.tar.xz

%NAME%
cvc4

%VERSION%
1.4-3

%DESC%
An automatic theorem prover

%CSIZE%
3105748

%ISIZE%
12242944

%MD5SUM%
6f65f55a4eb22b1feabbcf3c991cd775

%SHA256SUM%
d3839aaed0af3369401735da9068b2123e64a7cde037e7f68e0f846e59ac86c3

%PGPSIG%
iQIcBAABCAAGBQJWGRunAAoJEHhsY/Mw18uSu38P/3cdXKSjO1aEZ9MNQJvissKP1F50DlEpTDXztcQOMSdZifSSzdqRk56PZ+X/ki/QzdkX3dv7R6qmZQ1WnLBN7YWyEacZHQ/UbzlJEDJU8dOYG0xxIxxeGcTAvpf//eTOw5Ew7rxJKhcXP5bcF/sgsGyLkGcFe0zcHTWn8jzn/nZfXsZCkVB97VDD4aBAc76/pUzJDGiDO8b2DuUa+dhItz7jiNvF5TL6HGy1Zo2qZsR1fNGpBeaw4QRDz5PuIYJimf2iPlZRc6aJXBKkNn12o2+Vy0oaWGKjEVcMQIdj9OreOoukZw4glSJhkZF4XYVQjEEh3oi6wMpAQJ6lE9jajvHvWrP1MQEBAqtdtcjLoz8oZMj77tBtz97CLG+xzNJJEWBOuulW6EQdjfAUfG/bLMoS0hKUXEVXVqReo+yyi5ixvErOYfbe/auU8JXBTwiMQyNxUUZnuBfvMnrgcvtXpDKXJFA5TqhBsE9ckEBqwHZrc3CluRc5WNVETNaB3q2NzM6kGLD25Dm2Ryw0+eiMPN5yELcbK2G8DcYJf3kjPxZlRMM2Aa3BccEsdl9vXTAaCbYnFYawnJdm/l0jMgHXns3I711rR5n460KDFivjCmVQCOeaLyWCElZaxsZuVqlhs1puYkhd1jjJUNfMV6LPxKWJM9zlJLi5/yQcu+R4wPID

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

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
x86_64

%BUILDDATE%
1444485308

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

