%FILENAME%
cvc4-1.8-3-armv7h.pkg.tar.xz

%NAME%
cvc4

%BASE%
cvc4

%VERSION%
1.8-3

%DESC%
An automatic theorem prover

%CSIZE%
5569724

%ISIZE%
24422355

%MD5SUM%
5f85b85769cb0de5c29047006fc2a748

%SHA256SUM%
7ac284a6ceaa9ee57cbc6185cb67aa8b42cd45a7a9aac8453c38987190b9d1a2

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmTyKdMACgkQdxk/FSvb5qYebA//VqvkC3CSz/4qyx1xz0d5EQlKE/Bp5AJIVxMlQzMvggPDQJUJvoyyuEoxDLYftC8yAsQjrOJEmIKQkWyOcSSR4/Ie2zjz1Owfp5FAt+y4ndm/CrKarXn5JQAwO0WmGzdMI9SbseaSpfv4KP9BGGtpDjpL3rynwzCexOVgj/IJS9qpB9S1BikkQ+TTiW2SSjIaMmpT4qY/AsNQ+uFevWlCraZRIUPCPabZm3XCqjG14XVkM4WUGJMvjnAElbvGeF1s8uxvVTNF6sz2xsIQyybXbE0SeAxckvj+CSWCZPPXHRjjNPNNKy/vAbjmgusGyahkUb6b4iVvf7IVPJ9V0lNZQ+utuXnj/nWhgtNjeNGV36bqbYl89gXLSLVFpkU9sNmgdROSK0gIFfhNxHajKCAI7Id3lgHb/9M7dXEgdEuVvCzw2TLDLfdzWWpjWTltAjY1rzW1FCtDaJSBOcDPtRv+LYM/qczFrH3DIil7idiHjnJLGbs81TLsvtV0oHXADYOsYKGv3Qm1kH8ikvTbLNXmCu4NKpKjUJT5pgmp9pYuyjtNPU041cBtDHKrAXmx3e7A9vewD1W/JhxkBje7nFLwM/R66jQpFlc+Do7g0XBpTokbb1hHBrXe9p1d5Wpu8Rhqk8rwRo7uYd/C1Rk/6L+3Pdw2xRIWZwd+B7yJQj17b24=

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

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
armv7h

%BUILDDATE%
1693591373

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

