%FILENAME%
cryptominisat-5.11.22-2-armv7h.pkg.tar.xz

%NAME%
cryptominisat

%BASE%
cryptominisat

%VERSION%
5.11.22-2

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

%CSIZE%
855156

%ISIZE%
2565239

%MD5SUM%
d4cd43dac8eed07a2169c393c90da58c

%SHA256SUM%
31ad36728e339db98f0a6494c7c3bc801d4f1f5a5d7cbd037f1e81d62f27f9bd

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmbS+5YACgkQdxk/FSvb5qYPkA//TDiMK584hvvo15PjfDgDmWXS8H4g/qD9hE0Bhb583XsUiRxeR/lJ7H9ygZvauJ348FM7a0dVMjFFF+O5Hds/EpSbSRrCHRLA3DCBs6St8q7BgrvY/dDrpXM2FQupsZEr934nG59VdfERjvBM4B7eV2GxbBoOAYP6aSqYyhyyg3VPFplMyiUGqkT7qBHxTiMGVhNeMXJY7IAWQcN49UXx31xEQlygRFhzcJKbZweJkDnkxzp6KUtwMYhEVi4f5EbZS8DrWxjNYMjxKubIgwbeRPQ1m0DQl98+falXstkXKYc68+E0aD8bzkhERn5MrOD9743Pn9yRbogcwarqTovmyiFn56NIdmGpX6ufifrZsMrH8TOo7jhgqi5ximzr+iVRxJHIWSP2HNj0OMQ5cUhoDShgWIQf3htzteBlIe4LnB79W/oSOOixPczcUQtdjrVGbw0FOk5CeESVFz69bpLADHbz0/AZVnMjDrBOi9VPvUNHZuCj0giccAn4kYM2GMrlPCPTFH3Z9eyM9aheQKUBCJ/I/lH8WPZbRJdvj/WNA7YG9N5mPBvKy2WglPjfN66GIhmba+IAmtvdneUtRR88w2Zjww3VdDxdgs23ROc5vozfKoBoRTaJ0teTAqD9pQAZfQ0E21/hRTSg5UfTZI2q8NOb3H6vLf079lHLHCXpNrM=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1725102864

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

