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

%NAME%
cryptominisat

%BASE%
cryptominisat

%VERSION%
5.11.22-3

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

%CSIZE%
855548

%ISIZE%
2565239

%MD5SUM%
dd112fdc46e1ac1aeddb3517cb342803

%SHA256SUM%
b2835ad34724cdb1d43dfcd90cc8daf4e1c82f580997184dcef05effdd929856

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmdpcbAACgkQdxk/FSvb5qZHyg/8DLalZSKuNGdv/qP1Va4q3quO1nVvJmBYRt+bb9JZA583h07zlsnduqTzU0p2h6xJzsYEPuR1HOKSagfdx793YtuYqlo0zddd0kth/Yl4m/ckPgf6zKy6H9Uh7q7PToDovIbv32Z4Hpo8Jm2/iE/jL68qgPGYYMDkUXktmY9qPif7+I8DiEQilgNASFiqGJI33ZEFZ49eYcSTQhIoqieBf8ZojnnwGht3MwwbpLSM40LJ8QH2MuZ4pzIIgYNBF/tEpooQrMxIUujrjByht2SqGhDj9nueDowMXUzbHXAFrmOYnGMJiNuXousPM1G1lQOaieH5+cgbaFbt6Zbw7vp21eO9woKpBde2q5gI/Jj+4ECVweGn89UDkZXf8L/AEq4YjzMbcO7jniV6QQ77LmNlldq+BoDM7oaI8SFy8SzJLJQE8K7ZQhkVqmazKSfvtjJzcg86P+yJEZ0PtA501I22PQg0Q4xtIa2sFli10yMYUNPASJbLYipH9FphiL7H6a9RK379wvuhjlmMJ53/wJlymgUIUYPNeQGKAArAtfVntYProS7218vv34Z3mMlH7Z4yTXf4Yv5IvvPuvr/WuwlQEoRZn6XzN1wPZv2seRjUZNcMCHNyEPpk+b8CJ5oMycui86CpPf7y00Ulx7de6/m519HAxvXnzdIdv5BGmJAxXf8=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1734963500

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

