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

%NAME%
cvc4

%BASE%
cvc4

%VERSION%
1.7-1

%DESC%
An automatic theorem prover

%CSIZE%
4876752

%ISIZE%
20115710

%MD5SUM%
99be8ffbb1505d6f15acf68f05a65e6d

%SHA256SUM%
ca62ca4d86cea7a28ba5c83f6d0eda6cfe904521e45a4e15b7699def575bb1f1

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl5m3rUACgkQdxk/FSvb5qZqUA/+OQOFsRlU+SesjHl0rIeaR57ktanzTxQuEP6eZSUFeFcfOGvpQnSdqLILgFxbglX9Fn9ObD0TecmQtJ9Te9Y2S6LDS3eJDyHNsrU5XaFlIeE3Dv2NGXshxb3cXDqn7BJOnckuz6W/qrU5y7HecpYRIYEk+gEHOMV+2rW+UY1BMoXVV+7NIcV39s0NnjVeXF3JGMSMURaVL9czB301Om17ropMthp4BdALvbu3DLQDhhRu0mK7bnWIxKu2TN0+MYD2Ga0Y9f8/fEMs7e45nAoXVpwt5xqfDUZCOu+TCU1UWO3yRfvsBMYN7kTK8ifIVKZabcULlGJqvTgH6nCKzMARk7Q+SZsu1sSYA2w0HD7CxgdIh/2ypfY/vey/pVw6NZWpP3YV0zH4J1DGyybw1FsT2kfD64PhO2RUNVwj+0DoQ1ZFA5eqsySUp6c/aEKGzpiT3zXcgSWVpx/H+5q1IK7z3q3onHhaeRqlH8f0uBL9+s62N6++BAkWuzPaqaXeu9gR12pX48JSqz5wP7IaQPf53PaWMokp8ACLrUO6UvMOiVQSq+qOWFAQU6U91QaVclk3U17WXbECr/JRiAF9SmBCH677xogqF99cPw1YBg4d7GZY58C2kZDGeMlEiHpK175dC/Icx0iaeayvYu5ObSEximaC6zsBGgqFRErR4rC3nxQ=

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

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
armv6h

%BUILDDATE%
1583799463

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

