%FILENAME%
cryptominisat5-5.8.0-4-armv6h.pkg.tar.xz

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.8.0-4

%DESC%
A modern, multi-threaded, feature-rich, simplifying SAT solver

%CSIZE%
460564

%ISIZE%
1352902

%MD5SUM%
4cc878b0b2eca056095e6fffbf19454c

%SHA256SUM%
d3a9a340625a72a0ae76d0d1d0a211ad922e8d817835dad7fc4359a77687772e

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl/W3vkACgkQdxk/FSvb5qaTlw//W6Prg2e8wmvfSuCAGTpFvE6fhuTc6Lc6Jk7nRwPmP+N4FClUxfK9gUrj+fzXmnT+HYb2P5ynnxs70GtFRVVmmY4M3QnUpSSRjlPtoCi5Y4wdcWu7tLJ28pUWeGRNrynIIP8kjeA7vtVWed6XhvdY49S7j0oVMjfFzLJJwyUgjsm2+UAzCR4mRqUU2XvR83/VVwSKFXOdFs7xMLZOVUh7lvohq3VDZqbpxa4kMUg+LkznAszlvArBylU1gtGP8gNe2GWQ2l5abESSgQgMbvF8uEgbd4tZMMAa9nXkHyuqMevVsPrKTV5bMRmO6/2uXQdeCQBjOjXB/Ua9/Gb8r6IroPuyNPCQqge/qHTjyUfYJCB6q8fA/U3w7pyiYtNzGPWhZxNi59xThD+gohTNHSc4oO8bG0uu7+a6O6nv7/YuTOLCtODm59PEyuAyxdwasRHddmyLaIHS5ud4T5TI/LpGMGZNS4XTnRpMP0SzBQjNNdegIgk01+/G6PlMJwk8i4Youy8kQwz6wsGWbL8osi46OL7es/J9ehiVIpL0/sYMusCNwtB7GZzywCUPIb6ilEGMafAMliT5eL8nZX09+wM2MjQbGLqluJVk8PMom+wl+w4s3bbdYTOFv3PBd57WMoc4YKf+xg+OuIiNU9r0/DHAi3+Rtm43ezyCHMMSuUyshkI=

%URL%
https://github.com/msoos/cryptominisat/

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1607917223

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

