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

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.6.8-4

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

%CSIZE%
427876

%ISIZE%
1316048

%MD5SUM%
382e3cbd5c58a25f619e10e21e0fcc70

%SHA256SUM%
122a2067534164bd46a01f8fd39ac988b7b989e288135810996dfc4552da000e

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl3PnVsACgkQdxk/FSvb5qaNdBAApKjUN7QQ8KUAFB87hMEABrtNp+VEkJ/oIlKBAd6iVBwkgGlGHLwakrMx83t7Eb5g0oCqwhgkAxRx4z6jv2o9QYlVRnwCKdIIzeCDiD6iZebs3FxXJcQvQYLwJhEhPH4q6yU/n15POBaXdVX2gv+d57KffOkHyVlg0UfRU5bQ4nq+F5EhHezCb1GrEaEyfWJ3UIhQ9JzaEnK3L9+QcZUPgzj+FgDr1CgER/3qg+7+CMPD8vSg+NJK1Irgukr8PKbobs95duZcT4FZlh8N0Q3HtqI/08k9HW1QVvGDMcMmR5kxb1BVGVRmn37Iuuwg6oQnVsyV0TSy4gV2wGNiKZb8JHNfgRqgQfpqCOoo3kDCzTX2+10qk8F7Fijr3loULZcI/bNvnyep14W3ZaHIW5h5BGUONCi4t9JXemTIQ7qkkj08/POIAW3JogyTjBOVDHCtTiSruuojfp9nLGXuMoGW0lOCxJl3sWja+dZYiFibFZgMgfSIGopliSl/zkUJ6UMkgQTqCi2vbnmOj3MVvG2+nLspal/Jh27qzHUIjGgnh7C8TrlzaTYdguY9AFxzw5ii4PfkqeDsdSjeUxljGtuW19aIDtQneNtu2oP1t0C7hjLFwIUwEno+Hgjw4PmHufVco4uFGxLVeD8qoy2RUTcSnoxplKdeiZi0jYod2VMHiOg=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1573887144

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

