%FILENAME%
cryptominisat5-5.6.3-1-armv7h.pkg.tar.xz

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.6.3-1

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

%CSIZE%
402900

%ISIZE%
1277952

%MD5SUM%
bf431f3739238ec2193300341e414604

%SHA256SUM%
8c3d911ec308243b84f14d3a4559815f61d8d50bd9b13114c874be5d3ccedd21

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlshqi8ACgkQdxk/FSvb5qaQog//XiR3vwUc/hzF3Irz3SIA7D0Rd4I5hDn6wVpN/rwCsjHg10eNi+Htoootyc9G824Y0F1EaizKIyv8bOX/fOmC+cn4AX+v3kQ5Ccdc9x2TSiAihNJDrhRH8n8uhgh7H/xj9Ehuj14CMJunQAtNkSOW+wFj0MqV1UjV3suNwT6WJehudxsO8/j6b2Pj7AVuGXUoTO3Du4ssYVcDL3tzgYeCSMpnA6162y/i0Avkmci2WqL5LtNa6EHodf22yHuR0ZwgGKrrQsEQWj8ReAg1k75VPM2cQ5TGLDOtmZ7ijLF1fN0GHA2Ws03DRNxS1jtaYr1yNYjfdjIW6JJyoce5Q2IcuyGzjbPy3Js+cJvt/HbomiqfSNu+TwzpJ9+HcoRy8Eu6eM0TWX1Woz0iTSIn5YxIOkVDAb4D7Ye/Ji68AqvSiwrJsS5OJTueMrJvd0dUuRVwQzocm1tTpoWSINWw7Vfjy/JztcVRgS+pJYt7/6l0PdmW3rispdrBKUtRgPvwT1UaVLkIsPnDpdASbbaafWUwpiT1XvofZ2kLNcGCp4tDyYsN+rL4RuvAEQb64x2e6p9BRmtn/55l76ihtgPkUdmx/tVejjJqDpbRnI/NVfXnFNh13RVygLH9AP8j8M/JQQsn75+Fq7RzvGGPoiToe1bQKD9+c7jf0Y9V++QAzSA9vHQ=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1528932760

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

