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

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.6.6-2

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

%CSIZE%
422208

%ISIZE%
1507328

%MD5SUM%
62cd609fee3fddfecc9a08db73171660

%SHA256SUM%
94788256171e3e89b0501570ad35ce5138b4d26604de230d532ff007f07bace7

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlw/294ACgkQdxk/FSvb5qZkxw/+NqI0TB1AzK1wXsk+59ZQ/cBO/4ScOcgvWFH910mg2ZBIQDDsnygAQMv9z16V5gCiltBDMje7fAt3VV6gy/qeGThmPeDE1Tf4xwDWPwwVKWAP4TFWAhvPETlCUjV4kXrC9gfIGnPfpI7zPDLvM0PZZfG/IcyXpQCceSYJ5NidtTUEahQWVaqkv/TKKfslQka4tHMJtvBF+Lrr+KSVzsQBsv+zk1FKsVQoPitLrz3kSX4jBbiAuV003YCogNdotAp1JpmbnoqIGZbqvjnthNfl9gdvf7TSvjpH4Shqmyky544iGwSdzIB0QRRSmSBbmiHt4JPzruMSyk0n9SYCss9Fd8XFNSYcOD0UNvUMqf8oGeuF06XaTrjbb4ML39y4TD6WTcp8gQ25B0MMsUvY4RYyQM4/Pf+ODqc99l/3NefXL8Tc7uaZnQhoTPbwWQr8M38WgajiqXI4DB2LjM+VFrsYd5nGRl1gbsG2Sy7LCOfuW+ZbKpINWbKeBrDbQDd6pf6EV9iJ+Oki3CeWd5XqQlZGaB+lmGhp+r4qW4zd1sfQV34SLjcOSsR6MYODFWi8K6rDmXbSVHtlXN7QgH3MYyyEIe/joDvZ09Tar3wdLS6nfHx7zpJAbhfEHCyOWiUuTCP5crihGvT0t+FuNUE5RcJkHjwQnnck001N9SGH3yMg6fo=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1547688829

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

