%FILENAME%
cryptominisat5-5.6.6-1-armv7h.pkg.tar.xz

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.6.6-1

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

%CSIZE%
408608

%ISIZE%
1295360

%MD5SUM%
4f3ba807649655272b771b95655e62f7

%SHA256SUM%
c3ea0ba91b1e7a8d2bcec0d582e1c8f9625da998ea2db616c5460f9747e94521

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlwhogAACgkQdxk/FSvb5qanPQ//QbK/bxt1nEzol7JdkGVDL29hmlTYokEVyAKhIMjsB6LE/p9KnaUFzk/1Uo/jPQT9dW+p+21e2kSgB6al/Nk3WLJhI9bF/IaJCuqtEdjWp32f9sm9k8pdE4EtRmHYDX8KxLtPQGUzKAPG6h/gq5Vbb7JT1+cq/0wwZ+042LssP6KeYvf12zVmd05Um4gONZHKiwZyAGrdwN5dvkEoD3SBcqWsXNd50OophwQuJDxEc7CdnFgy+MnGZh3KhffmpFWrs1blcemgy9roXqiNBcfa46fbOil0LYiD9pRHmeotOVHh49/JiphxQ8FlEDjDeYxly3Cf1g7KInNtWg4WtetziBOM9QCCdMlHYPC1reCfUW9t3kuEhSSgVvKALy0J/5TrHyzX/p1JVDcd6rMnTZNGGYvppFvdFFk/mPZvSHVf/btflkek1iT+j9JadjeBwvS5KWl3BlwJX45UqYb7Z7ctq1ucpcsTGCV/VfsKgYbbAORdrxSI3+74P/6qtlGCA354BdPNNv0T6kcVW/pBMhz+rXzZEwSoMeU05qlIWCOcZ/2d2hSmqEP29TrwcGRNaDS1N6ob5sYNDy5uDEnh9YIW/xZuegxzUteGvllkxkeFDMcTLPdMc3fMt6Dq68K/ffFMvGDJeiTk9gDvqCMvawpZ8ayLsXhISrwuKeFWH5gkW0k=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1545707862

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

