%FILENAME%
cryptominisat5-5.6.6-2-arm.pkg.tar.xz

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.6.6-2

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

%CSIZE%
414784

%ISIZE%
1346560

%MD5SUM%
209bf54f3dc79c5623b25b092afb98a2

%SHA256SUM%
a6ae13c98b8efe337e118b4f1b7ad1d27435d84e28711ec93273a8e5bff7301e

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlw/5eYACgkQdxk/FSvb5qYxHg/7BcQIWWohHllnPEs6te5glxco5lpGpqY0NamkZK4xeQ5aUqpr3n2PXpsDqtbL36f6I/m4knaG4LyNdqx/mrY+66se1aDd6jppi/hGFIatpaY9DvmEcZTdkRTkQa8kvnrckfnkm1dACilFOOBhoD9g6I8jwu9QY447JJOVy/lH/UVGcbjEgBPLzvHLPRAKUxQ9KKxft8EwFmo0dlbSHIHjgPmsuXcHf9c5zNl98h9EBQTsJfDZJMz1ZYB2mrCBynPXTmSaQMUR325dCDCRTJy5ZYTMR5bMusN/Fk1cEdh5ljDHpS5GEUG3q/e1j1fUzb97HTpQzhiuD12AStRjbkUs3HTCwX4+/VcIw0jN2Kkj1M0LiiO9apegIiu5xs7kKpFBqdf4YbDN1Gn3QOAbenZx40Ah53th99jQZJEa6FnTszJhSOqkFNiLQbClKNAy13rne+UDWBf5FL9sAyT1VToYMbI8Rj3eTDj3jf3etAEaLlh1WY9oViCHVOKpyNZU02sL4tgoXEwqEnsou4YhqjHXNfQ+Sd+xK9gZABV6P6/woP+VjSgdN55Lm6xDyG2IIJN6XrzGuRyOMQO/RFZ75t2ujTuTberSN7nHkE1Y5At+mFN/Taw1cXvs3YQtF3enE6zOe3HyEL1BYnTAbxCLRannYE+v+kHe+WOfVLl9pVwMyv8=

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

%LICENSE%
MIT

%ARCH%
arm

%BUILDDATE%
1547691312

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

