%FILENAME%
cryptominisat5-5.8.0-9-armv7h.pkg.tar.xz

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.8.0-9

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

%CSIZE%
469416

%ISIZE%
1377545

%MD5SUM%
56477be964c3a4eea1e7db76b6cb6630

%SHA256SUM%
90ef92d5e4b0e315fda4c87c2eef37616728e9b0a7eb1bf57e0301f48849f6e2

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmG+97MACgkQdxk/FSvb5qaO4w/9FPpSThPunKOwcQs+/G1zbIVmXvUzDqP4YN9I4hCTvrJsAOTfLtk9OzTtfqj0PpBgyfIZk1a8prjdKNmYggGqHOHM3gD6iJapZz59W+tC9wfHSOuH9NGsnf77NRLP0JpJxDzy1VdXKWdCLEST/NQxfWEHSDQ/41ulToz/vuuLiI/0ncZ+aZzkirYVVAiN2WWRqQoXjUu0iOuLCekKVpcwvm8z9gMkRvfdR36wvqHWslfGk7xMWtOajZO+5oTH2c0KUSAhq0mbb4rI3CGegR0fWow4xlJChR+yrzy5OfYXa7Ssj6PNyN5Rv6cO3H4xket9aCQrIqT2q+2pTG5Mx7Cilr2761+2AJJKt066mdGb9iPZcvxw1cT8VfmGiAMC4+1EW6SJ9HQagfKLgzPajiCtoZEbbeeoa+xm1IlOjM3P4r/ka9bfbSy30R7MF4JL4eSi1lJxfUtSl3XM0vAIWcgYTAoyIvG1otPxCOy9vHuWZ00UO+B/L8oi6X1QcMEWbxL/17O5upZFr2er9ZNbRDFdzcriHQr22vHyZpMH5iUEuSlHHMfwf+2gYV0h3vOo3CzmCKCk6gEG6UWRL+tSQidEunRV/fPx9AMfkw1YeUS1E2tUK8rzlkRvklz1+0yHoXhRwmzOTVFFmTMeQXIb7elGuLlqe6F7s6t4CdEXTNmnxoU=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1639905122

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

