%FILENAME%
cryptominisat5-5.6.6-2-armv6h.pkg.tar.xz

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.6.6-2

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

%CSIZE%
410072

%ISIZE%
1307648

%MD5SUM%
d8276db2977088bc17c85cb3fc4b1751

%SHA256SUM%
b361e8c12a2b4343a7af8980d642e99a34ad1ecda7c0aa5ebf989dd8219fd166

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlw/wA0ACgkQdxk/FSvb5qa2Ig//U7ZDJKrOysz/DRMV+ZvtAxn0DX482H3S+LBv2UlRt75QmLc5Blg8agWS4lQTlrosEgGX5UtoQW3LD5qS0Fb+7OeRSz2XE80oa0h5dpWdWp6mKQ5ZM11v0SRD98tv0WIz9sKOuvETaQLIli0immbr0vlsXWndZKtbSjXNap2XtKLapj5EM72KlK/Oochnl9VW2i/rS4ktqrnW3OXpzw01UssGyGDugKEeXsmMefI5gQACr8oEYwL5x8tyrQ3RHAUaUeDpfLIJgJrIVvRGY7W+LtejukKXBEXNzsiIQ8HEwIuB5ZqEleAi0e+CuNQk/yW/8RbD3AEhcmCmIUnNSxokX6itzKgcdI4G7R4buUwJ4KNWi2ZS0lWTun5tZdatlGywjhMwSpa/cs2Pl2u4fh5IyUU8eQTNZCW4BY0RkkowYpcfvMYILdtoOtRm54cvk8KA478YPfTdCa+NyJfnNpyv16R5RzYwip69kVeVPS4u1m2P0lBqJIGitInyVbEFOfT1LZ2Lok6r31b19jQOUckIsVmd5beHRFrDYJTLAqLzQVQ+Ogtu7XQ/MYnWMhwlWqK7u6JWq91gzGOENKghL2NU7zqU4nnc7sImTPWmc1GOPlrWFzDAKKNv/bk+iZjin5k1XZcxI/dbpAj+u+zzda5JYUNLq+I00/CGSCKXkHVZ8mk=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1547681635

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

