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

%NAME%
cvc4

%BASE%
cvc4

%VERSION%
1.8-1

%DESC%
An automatic theorem prover

%CSIZE%
4983316

%ISIZE%
25822989

%MD5SUM%
f5345f558410f642898e5c6e7198ebeb

%SHA256SUM%
9c51e0f6410b6e475efbdc84aa1c86874edc4e2e6f5ea8002a25e96d21ba3fd5

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl75FS0ACgkQdxk/FSvb5qYpmBAApNNj+EcBi0U/+oZ1B/s0U2fNsNQww71xFh1dt8EI57VW8FbSA/XuoaDN+dpXAl2yGW0uzUVm85ifT4DWfInMoLVVnL5gU/eLzPth9b26L6XSw5mn9gtEWpezrrWAeJHEMj71obDhCtcUIn1pMty+ZsssfGctSTLxin9EERA1lWqT0USQ7laRAAAc5yM6hSKUqW6hscUwDkh3hScYhXEFhd8QqRWEdGMrB57Gt9rfAaDWx22ElBM6hoOvfMdvNQqvXe2vCwVd+3hjAUuxJ0YfcWZJSq+gvEvro5Ai7T3vINZ4BV2m2AO0TQ/k+iAMF0AqfvFBM548QiukkJHDiDdoqee6Fkb8/mmFuHFxwRU8VteB4XvB8KclQVP7BXj6BllxJb9xzSxBGjaS4A/0GxI8kscHIE3VlrkE52Am6tfY1x3BfSlHHssUeiDrAYn2Ut9aLpqGUkojjw++48i0RO9UXVD/PHBj9zIgqksXDOxXJiqGa4gL3C4tW4+veEJWHy272bMwiC0P/NIKIY+Ks2j9p5nEus4nqi2TyK+IzC8S2gTeN6YfXj2BxDyaMWURqRRYKl6uFJw2vxkzIvPGHhyuucG4rSSKh4N7VYT6Bw6o2PKcsOyx1nvAhJNmletHo6YX4YJT7IXSPa2wAEoo8vPlk29BpHkvAjv+TOIjO/04dco=

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

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
aarch64

%BUILDDATE%
1593381722

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

