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

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.8.0-5

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

%CSIZE%
467828

%ISIZE%
1373433

%MD5SUM%
5fca62ac840da303f9e93b4aac10a010

%SHA256SUM%
4097decc3259471b709e17141f9ca9b8e0836d42cffc5b4639682f4ff6b64531

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmB6pFkACgkQdxk/FSvb5qZQNBAAnv1HFAxUb65wYFV7nJqZd9N4tlrgvhIpRrxgMr/w1bAbf6A+wwSzdybb6NemB94KWrnS5lISlFuDUt6nDWjrekugiJ4p3pLDMxi1PD+ykSm0vl+j/AlcLX2P6DtaHvG19BGgFc9klCMJIk11tuy6Qd2UMaI2C7V5tskuKF5Ib9W3XJ6N8sbzUEzOzgmYcKQdzh1w8bsDvJ4hK5AwyDqOfcwMPcuqinRAmhmGwrn4tVAhLjTyRFseypVgk5vv6mqEWvXCXTb/cfRhRrmczgeqx2fYg9rAiIsvQe0GRYoO3K5caJC7DHDZHxzRTy/TqP90rNZC006VtYM3hQLSYKqqq5dHtz3KE/Evl+KN3qFwAHavMVXt9ziD7bKAUIsUXKLUL1f37DPk6ENnvi6YrMKYwDCMg9YPrwUh7nsAPq9LNExqgKqsQFG5qwC0eS5/gksT5mU7CwdWaQfbGr8l4+mOsXLmFmqGg+6vYqZy78h3APXslwXIkMoxCQnJNqCBXCWaP9gh5wZZ6No9zluw2LVeaxTBWdI/IfOqJ8OIREDX5baCusNbWLE8I51LtRfsrbqRQvIiW1ZiiyhdYJtJD/uX/rPuL//YYwszZrCnc1JWpDrmzdWKJGNqk4E7Fxn1BQHOIRsKmtcwYXFJ22ht93nsk2UxqdRDDGyMfnWcWgOPVOA=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1618650118

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

