%FILENAME%
cvc4-1.6-1-aarch64.pkg.tar.xz

%NAME%
cvc4

%BASE%
cvc4

%VERSION%
1.6-1

%DESC%
An automatic theorem prover

%CSIZE%
4008332

%ISIZE%
18749440

%MD5SUM%
8c8694cebd68a4300b21d0bfe8715adc

%SHA256SUM%
426b3496aa5fecdaec5bc061fec6aca2a835f6410d33cb91daf2193e865d8fe0

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlt+ttkACgkQdxk/FSvb5qZnxRAAlm11eNsx1UQTWr6sHx5T+otmPX81zGHFScwWyE/42KTuFEMiGum+A+VI0lPRc2pFyMZ6IXnWQwZhX8lfsMqp80YC8o2Z1dmI4w+Vyo5EAxbry2jBXgWgmf1jnE23rJ/vOASMl3trCQStKMz9xryRrVOHfkM1al5PS7/Cz+qQk2lEB/54blo6vaqlGFvfyY/ZtP7eKyDE3SxjdA3/1W/hRwrZiowf/CoHvPawpZdueulR5y4z7H7AvPiVHWGw6kmu6uHHy7n245WADY4bc27bCYofQXL+JhS5FTHvKiDx0rZQmEvWCk1l2fJrOJudLs8PRzeSPn6zJ/3V68CGxoxRRsIfysCaRbE0EU+3yc6/cRrssPD8NTdgLmxo9fDOfGSdo7cr6lvkNgtNAkpfW5tmPVXjkNmyu5ETRAa77I81mnTAIk+JXqeks3L01ewZJdpRQXAkw0/xuZ9SBnuRzjmorsVHoWnOWY1lm/fmlYucD8X0WXCTv7Ava5OD7gn6+omJ+qnt5kNcl4Y45K0YWzUpQrBF86HRdrbTdgVZhMKBU9hgF0dKDjBbi1/OS+kvgXhYOr631/oXs5D8O+96l3qjrvb/B+YaJvpJCb2V1HASY6vjmNHVO9GIwsTQ1xIAQtw8gY91oq7WBjeytFeNZv/uOoIU3xaAybl/teUzsShRHJ4=

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

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
aarch64

%BUILDDATE%
1535030559

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

