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

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.8.0-1

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

%CSIZE%
465272

%ISIZE%
1413527

%MD5SUM%
c57bdf097fa09f9252665651c30ad1cf

%SHA256SUM%
3a82202b3ec73af29ccdc7c731122d6e820b0a4b5054a8851f55ca8770689773

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl9UHAUACgkQdxk/FSvb5qYabA/+NAjQv41qIRBrebM0vV6Sa/7Ls5wrtcxRJgPJ5U16KDh2yhX9/LGUaVK1J/f2DAcSQovRvIYiRjLzltqBU5Phade0fzIVodq9HC7On2kESiigMA3jjKpg5X+MIzuAYRhh9elcUhZ+B8eKUpCLO5+kK5ctQGVB2Ia19oyzdY+CDHZtnRiFQmOyuvE3V9XY5iJR32yuh5Z5xmxIo2+uZfVKIkflEZjS8jnyyNNi4bCJM3aeEXY20YjFSzxgVUyEBDlgcO7L+CDE+s6HJKVZsJEPM7pDRAQEIWJkq9sTZh76h/kSF3JfC40IKBWcaWUz0L0aifT0hX5mvDo1DFqgKB2neROn2z1IgZze2BJMpJiKLtZUo+8Li7jnTxjopkwxgucMnCZ/vaWU131BcF684/w4eueKzGPIHE8lo9d6SgcnsCANDOLAAJ0yWT4CAU0MEJ4qNIHaO50nEChVQRoEnQ/aplxplpz/OBIb74lYdCglCvZkmHwoukMK6LpA+R8TW4iIQdeoCziYBygNWAm721gLG9inh3wr/HqbFx61roBmp7i7V/JPclS1AnBAXfcXn7iEZwbnHs92Bd5UzGw3v6jzR1fupqKAUsnjunNQO1aFTrEayM6/8ZC7kkWqAJCfnfJBsZYztHs2LoHriKx6LlKX/GM4L0hBDG99Fyq5plmNoSE=

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

%LICENSE%
MIT

%ARCH%
arm

%BUILDDATE%
1599347639

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

