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

%NAME%
cvc4

%VERSION%
1.4-4

%DESC%
An automatic theorem prover

%CSIZE%
2496660

%ISIZE%
10221568

%MD5SUM%
5423a0de4dc3083eef714dcc1dacf25b

%SHA256SUM%
b91bdd89bde7b0fbee82317ef2872da1d787c02e030114494b697f479deeaea4

%PGPSIG%
iQIcBAABCAAGBQJWakPxAAoJEHcZPxUr2+amay0P+gPpWHgnmu1M/HDIKmi+fd6SP+8XDCx43c96vrtaHMv8TW3OMvmhlDlwfdFgSYH59ikJxmGIVmI0EnfjpyTBgXugLhcn01Y9UvXsF3vueDELnaKzLU5vkSlCHlSi186kPh8Ce8ilCcdcuAuZ4HuSNd/LVcAg4cvhvuAe1M0VWvyvPGW4daxf4xk65VV9UDSlF8oYIREju5URHL3y7FtLtKiZW41qfpOfUYFkbkpSVv4E4bsQxDZmOxQsNjM93GI0GNbwRDaQvPTZZQ5l6FKpjGaMSzKtRexrDtLe3NxvzA3yuZLxiQIy6mMItwdhi2jaKp2kFfnXVJURigJ/x/UzCsrB8sb9ZIacBU8q1P7/kbXcefHqJeO3DQ0mAi8Vlvd7VuNLBfKUmbjF/J/SCVnn+M8inYkZhmfpZyv+Blx65w+jZi5eAOOacO9BwyDGqGDo3/n8XfI4Qj3ru8NiR5sNxI2GxrmvbFUKA/yUADmaEKaWOYaqe3WDAhQK6hyQtz2mF7qeHlzu4+k8cWgBS1E3S0U6Yi1DSL9bVhz4hmGeucY1oEdQ3XxYeFDkqu5fT6jT6gOJBD+h6x+5VvsoCfruTMPCUb8drkqlUk0jcOJofmGghrt3VgsGbsfpPJWLXwk45qM3WB4AcwGIMCrs3oSN3EXHNCoifatVOJ1HN12qf6ce

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

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
armv7h

%BUILDDATE%
1449804764

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

