%FILENAME%
cvc4-1.7-1-arm.pkg.tar.xz

%NAME%
cvc4

%BASE%
cvc4

%VERSION%
1.7-1

%DESC%
An automatic theorem prover

%CSIZE%
4848364

%ISIZE%
20073474

%MD5SUM%
a383ab398153de1a80bc0afee986782f

%SHA256SUM%
117f5bb81501f04c7955ae323d38f1c05e8f445f26442dfaf4450af8eca0164b

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl5m4FwACgkQdxk/FSvb5qbIMRAAoEhReGoVZNfhJVT4V4k+4JwO8I6ZgArsuEtRITpTmNq8IF7yaM9xwNaFe1FKEe6wOEoQ3yeqyvHsJCsLKGCHVC1UWCwHgi1u+PMUsK1npFQighm6Qzs1URyffF4/v6Sap1n7cWlyDX7jpA+WlsDIqiQ8vu+UgsNLWzCJhdWk30AK7J0svN05sdp/7oQb789hyohvWEC6/ztgB4+DJq8nR+H+jBQ1M0Hpq+oZ4ospqnn3WDUgp9BJXQFPMgwCJUbK8iOTQSAgVHSqESe52JJDjBY7pjmWDmessLVZ4c58VaFN99GsaUfu3PMs6985W0OzRCwtlxFiIH7RI17DYiq8jGYhXGqF2ObNLsK2trGN2FfchKgOAO2waHgdthmC81dNi9e9qbgf7ZVVWGQmgUgGwTfSHGW2KeOOPAT9B+13A4rI22xQ0bHGrWYC2z6NZowVbC4m2H79Nn3T/922KccpcGmkwyl59Uu2LAF1ke4IvntDN3PPYI+i3LD9AieBw7GJIdo/kxb4xgTZhPa+zWIhsVW06oNfQd10SRbVjBm1gZ1K6UaFulagQhChRAv5sZuGYS2mm+hoajrhu6/OCRj0tqpgin8rfP9/WeJzke0Sn0O08ZP4GwUfU7ytWhOjlWOnoSdBRoN9ZXYDwzyZC4ShjH6TTc7fqIycHUNT/HNw/8w=

%URL%
https://cvc4.github.io/

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
arm

%BUILDDATE%
1583799685

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

