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

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.6.8-5

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

%CSIZE%
426096

%ISIZE%
1284187

%MD5SUM%
9a6c8bf0fb43b74bdead3e5f26faad82

%SHA256SUM%
5ef5a4a07e30223801d16f6bd360c78b93dd16fa53cfafc3f8408d01a1167cfd

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl4NyHYACgkQdxk/FSvb5qbKQg/6A7Exv+rFiMYiR3fl0QaMMCs8zfaQ0cSHWxAnYogZXr9QGIlSJ8uU/UyWJ+KlWPHzwOxXjysnGmpWkghWPD7SkL6CWy+wGAsI0vn0OVU4snnY0HnANQB62ftRSBXzBc3aFXV5iuKwA1t+Q+pzXzyLdZwDPf6J6i6n9eTOsPvbuWuuhh+29mc74DR6etiE3DHHe9CT63yt+209OZa8F0s/TYiDKejfgjzSpgzZtVKK2KD0gMJhyuxXDGBkXio8brAt52ZvQR9Vm7RFRVcFQSYhX9ycYERREvCOBO5B9TPlc7VQZ94npI+VHd6/dYsG5DyO6tyQlxFmYvkKGZ/Ve/J06IM3RlrJlL82XEr6wz7SmeTDZvWhDPb5bKOIKUF61SYfU0APVutLvtv/fF9S6hQVLeEhEFm/52TpJBv34P1zRGdxuR1gAKjnqzxNJRBPkjzr2+e3V2ntwyWmASUzY30NVedSX3MGiQu89a31xu5nRPvs2PA1+CFFBfW88V+b5Q7Ul5FhQ3qh/td4nuGgUYDR/TMqzUkJ5pUVG6YKBBFt7GqR3zBC3cEJifLJatuJ9IC4vPv/BL9j+gLbMMVXI3d3cX1FepIcGgUzQdyOTuL2uu44PjHYm+WgIwVCQN8YOU1pYhQ6QVH5WmtCOr1X3SdYYy4A9jWukcXNmcFGUE8jRwU=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1577961417

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

