%FILENAME%
cryptominisat5-5.6.8-2-arm.pkg.tar.xz

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.6.8-2

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

%CSIZE%
434548

%ISIZE%
1429504

%MD5SUM%
9f0fbfc1e47ec1b141625662d6f803f4

%SHA256SUM%
659db2197e34605a14553fb045dbf4b6a97e4882a6f330e76c2a3840f047c02c

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlyKl/4ACgkQdxk/FSvb5qYIcg/8C9fIOwhoONuhas1VjRWroLDIhDJdOxFDpW0FOnLo0c3zE5NVfLyoCq1XnyaOAps1b769XOR7Gwk+T3HhcS2jpUxMG4XaHzhINDf6h3flk4VYLHeX3fEwWhcplh2vnlaSWvJyTHzcjIJc0tVdINYhP4UeC6LOOduTBwa1AxJ0oFwSuojgdtgzQ/orlNHu+536PqzRjOJS5ChmlckS/E5ys/jq53/Sg3CFpRtcctg3XN8uqDePwLuBzRJL77pvXHw+FCYwKmHKNHErc1dFUdRrA6hmht+Zcxt4MjdhBnFblQRmkuH9CqOVkeFCuKFL66d9PkoTCPdQHbs322Rt/8/9Wtt2Z/p6KIkspZT2T2zGjbPlvWwAEIamUAJ7yWMHuSkIw1SYR/hudm09RKNAZKg0IWXQwb8VXsbOliUXfiaZEAy9GMdl/Y8h3X9duSqgE1Apdp9ONB6hHor9udrnifan32beIs0EyJ7qo2DjzvzxVzZtdn+nkqnVu9c1Qk2T1pQd8RLX2OZgne3XMvPYvwzdmqybiLIfPvbpoRO64vtGC264zpFTlT3vBRyWLIghCRb2yGBxljjZWHn0zgWwSPevEVSf7x+AkJGwH9Scv7/IaBEyDunWQq+PnLsmUErwoKvS7QCp2JQxy7NMN7yKc9pyDjSrLr1w1QStU96TOGkdEOQ=

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

%LICENSE%
MIT

%ARCH%
arm

%BUILDDATE%
1552586559

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

