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

%NAME%
cvc4

%BASE%
cvc4

%VERSION%
1.8-2

%DESC%
An automatic theorem prover

%CSIZE%
5326308

%ISIZE%
24042798

%MD5SUM%
c39a405138c66381f5ca43b45c092975

%SHA256SUM%
76ccc38e6cc6ca626321f62966737dd8c4f3367c379aac81a81a5c9cd545bf9e

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl9fobAACgkQdxk/FSvb5qYuZBAAgswTI9sU1B/19oKhS9hjdfVclS9IqLwhtkKcswW7H9A/OhC5pLVNSpOKWqI/jvhkKnbN/tSOezgSK1qRzC7c6ucs+haj6bP9Hzy7BDdSQFM2093NK3shcGu+vScOYvlwbdmWl2cWblgXg15kdE1rIXNVcN4ziWqdfhwA/5vKeu1euR/yhA8bccFH0YyuhlEMHlVzcsaAXf3Nn7QIUuxAk1b6TULgtb/YjwiHryqXfgCK7AREfVMiNoV9IUTBzlEtKOYkdz8lkmaZMTDigwablCvW6PGuW09yAT2JAcJvDScTa7n++Re8VAbGCGbbvV7McvogdE0BasDSSESMMF1n5KX9CzU60bmtTinTQErX/vdXsIB0gHVSoQHI+TkYCOOnDGUg6Y6Q1YfkWxgBqf0f8EEvS6beiWWD/7ZbGXxZeyybu5+PxZTOxIzPc2xF0n8UQnT+hti489Tr4sLtohghZ1iMs/adyeEk/NoG/Gy8tFdd8hANT+i3apUQnBQKxUhgYh8RLYCH02rqUKLNCmWlaF3M3BZLVBUOOqzDbLy8LSKtalNtHFlzTUjOe87xkgXyl9oIw9f1C70tUdzpRJ1LmOU1GQq5Jabe1er32H0BZS5B8sqtDjvsp+rUvqpXAdh7A1eCPvOWXiyBMlOJls9A+D7rdjgeW+FmwUv60o1z5z8=

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

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
armv6h

%BUILDDATE%
1600102232

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

