%FILENAME%
cryptominisat5-5.0.1-4-armv7h.pkg.tar.xz

%NAME%
cryptominisat5

%VERSION%
5.0.1-4

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

%CSIZE%
417500

%ISIZE%
1260544

%MD5SUM%
8ab3fa6cd1949178c3a66a85f2f31040

%SHA256SUM%
82cca735aafd17725d92a8bc8fd72c0aa336257b32a9ba18c539ad15d8469edb

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlpRZEoACgkQdxk/FSvb5qbrlQ//XYFFGjjEXAlbwtBTzz2BA8RMlmjebz37N+sGJR/Z/eWLmlwqnyUCSJ6t/39nnnrZp1UVvdeLECbU857mNazriexM7WZah6phiH6lnYxDpdrZTdel+4W4P2yro2ldabKkugFH+uAEzBbWhX2Li95aYMU7EStf70GHAy6XWlddOyEEWZIIIlBgLrWmkHlO7QOY9K6ahjH+3FGEdpoidzsFuucWTCXkkVCv4UmTBnfyLeZTsf5iTNrsIoL5DxDBlLi5UWc3Jms5bYi2n6lVXcKdFQoJVBj6xxw+YkmtzRRXOUUe7m5m7b69ojxN0Eo7mrZU04kT6URFCGyB5MdLMhcZClLk2n/L63eB4cUAeE6ZTYzfpfjtXUlkv76U68Dx2nyPHLKSTxdjcNs2k2ObhfhBDoEGoT2thOqK9OjZ8xATbHLYaNFI5XZqKIXuG5wQpm/cvypzdJSpypJsjylGXTKrxrk85hDi+25WpdzN0hB0k/lhNNuVqejwRGf04ounq/hvGwf9uwtAgt0lpyIgvQczFbsO4Hp7oybxVSGF3iAGLhYAXP08M6g92bQh+MWSIPdB9idU7rt53tyXGI+Xx7M23E9gtHtb748HNrglTORk+FYT0ddZ7uN8YyeDpJnOyTeqRsaZooOK+0PVh0Hp1StE7xjVpy9pbMfjmQLrkf/pFaY=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1515283526

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

