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

%NAME%
cryptominisat

%BASE%
cryptominisat

%VERSION%
5.11.22-1

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

%CSIZE%
855020

%ISIZE%
2565339

%MD5SUM%
c5675647862a0d8fd3b5b67f6c69b277

%SHA256SUM%
f29bfaea959270b4d769e1cc7f8edc3dbadd613a6a633a420d11194e15784155

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmarfQoACgkQdxk/FSvb5qal0BAApqYxa9XJ9kFWP3HjAReDFqM6PGmP5+xg9H4w1SdBX2XDWxaWkElpRg1UY4EPc/uWOxF+IFLPInjAimSxw6ADlemv88zJi86DkQE9MKIWZZgnK2D26UEJZLOpwi+kdYgVfi3IyuuYfFpaNFf9HXOT9Ibmbqw//lgbKeISnz087KNBwANiADO1xpbtb+DXPrgQSjxXXhyv6UBuOpQQCvC6C1fTPsHMLtd60TBhZRGPYkvcZrd9VrbrbSNz4QlCSTqN4gd64AiNeVMwroTHGZrgazuSkvmor1VPR3HKzOaXwkMqAan+Kq0RIMyxrGWp5n4pbFuRxPQghJhcpQhPworWfPFlXSxCBtg1uona/b1hWzrZk95yq3mPWezungs343Aged/RBNf7arpSPhDSuhrX+nfGahESX1sPxG1GVYY7ot51iDiuhgsvZ1elNXAolhZ7L5LWoeuAT/j1vnJnVeqLaDNQN75ujhmQtaJPQ/C0G7uRMCzRNouhaAJZ9SuepMCD6TiSuBvokZMYpNC6WXMVzwxhaVoHCq1eF+4itnLG4db/PYfK8H0iyE+8l8pxi+WOuaVHRIz2cplc2lfk89i7S/nrLdMrrBj8QX0R68w0r+X2jcmeRNBISYvCE3TVuimMhOV2UqrkkCTn3MMIk1he3Bu3eRx71h2mTzDUnlX6mkA=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1722514561

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

