%FILENAME%
cvc4-1.4-4-arm.pkg.tar.xz

%NAME%
cvc4

%VERSION%
1.4-4

%DESC%
An automatic theorem prover

%CSIZE%
2535140

%ISIZE%
10446848

%MD5SUM%
1a6ce57de3d4c13afaa45a4d2318558b

%SHA256SUM%
856c81b811f93da2468e6a1aa71c7b40fa26b438ae33ce0ffbd9e4cf5cb27950

%PGPSIG%
iQIcBAABCAAGBQJWbHl0AAoJEHcZPxUr2+am6vMP/A8K4xEHZhavZ4dWyrUFHK8fdSoRwCFQTQtpovt3OXBiJn5JLzgPuFY8Y/uwOXm9Ey6pqDExUXMOU9227NoOYCpwzXYXsDhGbv1vgjbP5XiNgerhwMdPCksmlsjDFOVTmvT4ZDXS2Y2NWYvbQgJvq5pTf5K+UtQ9wzFSRB46j1fbCPqGQ3zA5F+gDlS+W9DzNfobjJ2YzUi+yUONPC+ht3OcvzRTIksc4Ndk+rDzxA2upxUBaLjX9oQ5pF89uaIQckpz4qiTEhnO4WtP48kOaUZoTrrwyAFN33VZbgbDIv/SXTdW6p+RUZPYfUmKZVjRemXTmH4mVw1s70+onB4U6CsoJaBi5biXkhSfcUkuhOZOPn2JwTOATXCo79h6idOMWKYGue8yAdCyz3kJ0UB2gF31QRULAlbYbUmmKNS83DeAa6y1hHiz0s7wkvm1KsDpwtmYsxTvsNLvrfXUYi4p+3p4BFtRfK/X1VlYylGCW+CwBCA+8fHNGsD10SlC5IonSJAmnrjLJKDBbLs0YfYETY0m+jXJviFnvQSto6mNKSjV9+1McSlbyPZPyBJRKxLnTgDkqrsMzXYWhR9XzV8rlr/MHWdj9HGpHJC0PfIWZ1TPSgTORvR01lOkwW5JC5wc2bS1Rir3ewvtvKt5HVcaVvppWOJqR1PduhlGQKitKNoX

%URL%
http://cvc4.cs.nyu.edu/web/

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
arm

%BUILDDATE%
1449949534

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

