%FILENAME%
cryptominisat5-5.8.0-1-armv6h.pkg.tar.xz

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.8.0-1

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

%CSIZE%
462828

%ISIZE%
1373387

%MD5SUM%
ae8cd119ca46d27bf88323180b34d677

%SHA256SUM%
86bd5b3893877080ab42482cc02bfcf277f7432f29f4f8e69cd8f7ef00eb948c

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl9UG3YACgkQdxk/FSvb5qbO3Q//fABMtFR5MgDuf9YGxlJkMbB3pKyIegtBjhCoQMgsCbbPUoFa+R95ENWw7a58w0D8bboOUadHLDJbyAu8qgE437G9owOlqmckvsgsWAbtDQwW76Il5wfcoM3AThTcjKQVSWsVkF3aH1rD1MX1vPIV2eWVOegGIinZAZqqvnOMwEzniC4wT5uwBHsCwNRAh9wPz8t/ZTBYsD4YWr2WxS3dw1+VOnoytIbibG08HF4/8LYeE7AAyFamxZ0eQlC/ie40fhmswq4RjCDzGIaug3giup5GrF29r0VECswrBgTyaNNYDzWF5+BJs07WDK76f0acSFESgUZurVSCmBwNmYYW+gmgvFuFHa2JgG1IfnaQobVPl80VN72OQh2fAIrav4riBh7MtIHChnFhF4BfsFvzf3QKPzs/DwIzEyHwpFNFsJVYzbWPvSp40BoLPrg6jUiDWZCUUyFTpl4aUyPFo2OoCROuXct8r9Cy3oF+gKs9+NRFu3oUUcQ+u5/Mp0dC+u9/C+M2uaj1Te/jEO8GNkl0mcBYiLjbD6lT43m97kWehtBZ1B7XAc5U924U7nqCE2Vis9ONeAauzLnvTKI7Svm2xQiW8gJzlpAaCLZfu9a9GFRlHHfmgHFSFS9SqjD2Ot4aHTjjworl+YuKjoB/N5TL6EWT1ZPCVLcuSKzKG4Lvjkk=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1599347494

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

