%FILENAME%
cryptominisat5-5.6.8-6-armv6h.pkg.tar.xz

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.6.8-6

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

%CSIZE%
438572

%ISIZE%
1333339

%MD5SUM%
c49473e5241ccd9602dd722268955794

%SHA256SUM%
5eb11e4804d5ae5bfc10ec8a73a08104cdd84030c2fd8a0c665df15726b551b6

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl4zEe4ACgkQdxk/FSvb5qbleQ//dOkPkpWY6lIitCJaXdZ91JqTe7ruxmvFRHjdNEKOZ9lfkUoXriiobZSItWBgT7Fhc0XYM+naQflKetfBxOryL9gESHPVGJcmWfr+uuQOZprGgBbmXuuVrvHRM7SjbRghW2ojSDWX9R3JUFekMD4j6T1PzesIhCib6NOP3xiG6u8t7kO7215aPQlUa338ZzCX9CJ/1vQ9znfMl3Pbpy/yRwX7OyQpXH2+Bv89TJ8xE5Q6L/1+2njY4C9kN9OdRt6YtYqP5n7/IEH19P+AKVtfwsNlyK4yBB6SPLwZ455jnjPh/RPaf+brpI0Ts/+ErwMZKfe+5ONOuKNUqYpJ4Hge6lZVFPVvbeU0/s9ztdYyJ9vNSLiAcQd7cikM9gO+/Rko3xAzaNxXQMjY1neb+BTbmu3BvUsCWpUqrITImO9zheYjSmd8jv2q08iQCB1nEpSb/fMZpJUEkAHARCZociDmjc3crgtBw0MTQ5jitLQ2d/5hGocJ0oJd0E0QfzbTVhojytPIF0K6qI+359AFKKSv8ZxWpFJHpknHbnM0lum+/DO6WitQPbQDpJDPY9qf9VDNJWbVjhzIyMjdqmgnXLEnG+14LtNURXG6dkVYWpt68piIoOn6WaEIqoJwADnfDydQOWOiG8xrAR61pkj638lKG0JmKUPlxl3UF7PUke5oujk=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1580405053

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

