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

%NAME%
cryptominisat

%BASE%
cryptominisat

%VERSION%
5.11.21-2

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

%CSIZE%
891124

%ISIZE%
2744885

%MD5SUM%
c9e439fd7f3b7fca4c08190cdd41bc65

%SHA256SUM%
a8fb63953a1a2a33690eae282d502c29da7b3411e279841f5d92e9a33bdbddc9

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmYt22sACgkQdxk/FSvb5qZ6JRAAwyBvd2Cqphxz0xIQ1XsEYhvGHbGTC63XWV7fNvLmjGyGkRdkxlxZipU2zQem+u6dfRSXgaws9FeASK09BWnfncwDAhFN65gfYjDf9OoHDa3k7AoPDBGNHx9W8rReTqTRiohFvOpoiW/2L3Jt/npA/E0/Z7+PjZ32jjCXK78zHtV6YXMlG+p0GPT/k3gqQ4eVbtlDFrC0QbinHOVC5ABX5cz9k7IjjgFEx1pYibPQTgJJcaKuFHDaJvX4qHSWNyRaXbUGGipeY2biYzqmWq40uvI4GqIudAckmHMNxq6Lr/0pWaJw7BD9LM29nDTg4W950HC5Y67U/NIrm1z9w0jUGcxwJkAAu0Qk2A9daYlUroVx67B67HiOCiGwDVyT8Dcd1KqHYNlOud8/yuwIq1INSmKRF7IsLuwXPfLEJMFrJGEGiyjYq55+xN1yvg8ClB8rPeWI0QlY6cM6Hn1jFlMrvVFe/vYxPbfzbPTYRHF/6EG3FlR+z5KCDMwH2Hdd65zqKFaT2Is8DsJpHKRdvjqbvVkXMZK2JPxZGLkuOxB30OWhrYjYbNbaFspm/+IyU/T3lb4aKJmqBe4SC86XQdM7nREanjinKBePbkEuTE9jjT9AfgKo4p44yBBMylYxVQk2WsTM6oFp7Ze9IAMYJvSCO/uBNDkPNnxNceSjvfcDj74=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1714281108

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

