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

%NAME%
cvc4

%BASE%
cvc4

%VERSION%
1.8-1

%DESC%
An automatic theorem prover

%CSIZE%
5311668

%ISIZE%
22293789

%MD5SUM%
446f72f0eacf97f8f741306360c4818a

%SHA256SUM%
0afd4031d9a4d74b00ae6c0be1a4907b1a2e6341b57b9b436a5fb279a3175456

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl75FpYACgkQdxk/FSvb5qZ88A//UesRhVIetvyuUkYqUdaSnKVgpON8bGjkoyAf56ee0X4/oq/Z5wdteCXiQvJrhC/ea/PYn80qL7dBJI+E0PaxTquJ03KaqTpE7WQyzRr+Mp3SCLkCfwnhwxlZ9IZYHlIA8b+k5/6rAT35NTrIvYy1lvDVhKHxngP71TWUl4q+Y1JA3IQMoDUezt59bcHUEvD4fbin6a56cyQ59LOzsxS3m8+pOR24Fo/1TsH5UoNc7nu6XU4lJ0mnJG1he0t5T1idH7kMWc2FctnKxkKTCeURvVZkghCjBaeRszU1qa1euSaXMYwLw6GQ4wmCnMBMrLEuAsAGIb6ZS0QSOpo3M8VsJDdcUFsEzUFmtn6tgwrTxgBpw0bR62GuEpaoQCDoaHwjSU0PSL/kurgppi6k9bH9UjSCo50ugjK0kvZFeTPNmJs2lGcu7HdmiGoJ9xldAlf0X3n4jNs7DbX/N9x01g8R2S2j/2Kl8170yHv637ZADLkKJBi3d36hxOmj2lwJ22qMHE+82QV00ddJdnHcrytLGo6bKxbcLOfNP9AZc0jWMMWhIvLmIcNyR28i3PgJffEEWBhix2g1EszaJyOGjtjdaKtdO6Fse4Syap56wzCrkH2JnewmEuC5bK8rCMLJpequMImsBNgCsOnkM4B5/kDNBh83RND9paC+RBnvkskDiGU=

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

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
armv6h

%BUILDDATE%
1593381975

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

