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

%NAME%
cvc4

%BASE%
cvc4

%VERSION%
1.8-2

%DESC%
An automatic theorem prover

%CSIZE%
5090500

%ISIZE%
27658010

%MD5SUM%
ce62bd3b0c5c41eb1bb0b01b11391a44

%SHA256SUM%
60d2a6e3d6868bce71012524eca457fb30a9125f800c28bfe192f8aa43f47334

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl9fkx4ACgkQdxk/FSvb5qYzVxAAwyqhwkp7VAG3cd73gG8E99DHSympSBrkxUhXsK6tEPcFcNn64A6/j1ZHJ4a43Q9ORHNTyUqFIvuVfdzpigvWs5KnTmIfVPNrDTGH7CzvVeVpxoxeztQNwha9Ab9MFX3NPwXlMIoDGZptQpkCtIB64POi+QdnEfQaPKRl2tTnBNBXIBYTzVp1fGydIgjV9blyor980vemtYRQB4343tlq4Gk6dQicIKUtSzOlKiUNAgG9XnUF8R3dCem1OUOgnZVkv8A3jpjRuexX8AaLNU9MWejLcf0NBblsuUEUjH3g3vSLzBTzAK1GG0xF2tcTpNYmM9OqkGWRK3f/NLSFJll2eZzaN2hKUffDbxsaQY4+/x+hGv4UxNSyhRRHAJan9cvLxcxuaJXn0M5ZQUHA+DpoQRHdRSFO2ihu7fhsICz7iFZfzzSM2u3pamHfoktFgXzpSavmNRrC87qoitYFzWdjCNhn+ZFsoLuEkUSj+tH+SXTOjhzdFqA3ziinPx11Ywgg51q8T0OebiVj81nGAOxPgfdnv8GwQmDAQXDYgers52SRAqtO5ic5OorenRoI6R7gmsMaN97GF8PSH95ngywf2g4fKq1lK8kvE6oqXUI/a76lm4ofF/U9DH8vr0o1MvfBo8LuaRu0ZD389WPmMSrAIZCVFwCtaL1LMuRAY1OpPAE=

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

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
aarch64

%BUILDDATE%
1600098840

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

