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

%NAME%
cryptominisat5

%VERSION%
5.0.1-3

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

%CSIZE%
418180

%ISIZE%
1260544

%MD5SUM%
a9e89f2a6b8b1cd392826dde9988f35a

%SHA256SUM%
aad66ac512971b47ec1bb89b7d9fd9c57b439994bc1d798a283427a7b9d68c9d

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlpDmq0ACgkQdxk/FSvb5qY7lRAAhEnVV3GQt6xzFgMYxwjff+sM4479QJXzN9xazdTsBoLyEQDn0tu+J9j/G7x7vEsEtO0AOQHxf518KlUiN5U6xIT7RTC+a8621vb2HywAAAohj4LTpEcOPp60N5Lf4dz1BVMqJ2bODl33XYmCn132tjWTotbTKYxmHRmAeOBKDZHXzccrOwyndlJELNUW+vYb1gPsLSFDof+M17MxaP4I2Z4WiLrcncUKzewkq+VXkJ7bq35XknnpnWyKAmYArZHgpyaC8CJB7uvUG2TPXxi9hEnpe/Xbj0kgiI8V4QADWXKTBT16iKDE6vA50QTecL5Wazgu3bElHQqR7rX6IsQsEHuD54aGw5EsUbb0ghSrbO1xYkvx3ju7GV5JqM64G7uK0bWGe2NCTnX/Jc3ESGoR9Z++BLbRPtKSOnJmsQzCRH4yT8A3GeRp6VGhLXdaYPoL4DriI2cbDFpF/1xVgMb7AsGyX3ypclrfuM3t3ORq26SSGwxR9/iCInRvgy6gnmOSMmYSRfwuoEJpzll64sapladI5vYjv7eKW5D7WvCt+bdrPRXAqeQN7JlG18jLvG48oGkBctV2StkrFuf5g00GTi5jDNuCze6XKJVrpqa4228KqGgJRy+9qxyc0uwDuLz6mbd+C4MA96sAJGPdFiz2+NL9Qcph/ZXC+9X521akSwg=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1514379945

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

