%FILENAME%
cryptominisat5-5.8.0-10-aarch64.pkg.tar.xz

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.8.0-10

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

%CSIZE%
504988

%ISIZE%
1634433

%MD5SUM%
bd33865c8ea8adcfeaae273d0a6a726b

%SHA256SUM%
5af064592a52d14a731b41cf45a5a0a1c9d2181fa3fb8db0fe77847f5e8f582e

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmKpYFAACgkQdxk/FSvb5qZKbw/+Nhs+tmWn3fQHuHl6ydRKVL+JHGBoceD0DMXVg/q90UmJXoM8Dz6PCJSZU7W4Qv21I/rhKme5Gj3bMqltZ0kkz4c7/bYw7a6WdcrU9D53eTYspm4yuqbhwt/OOgLx2wj8LC2YmmMMWVyKBTotiZWa1qpf+3uiK3BGzgrmgobxU6fYjtb29UGXGituQzIvDHY56W2KfAItADKWUupZKQA+4tV+MhjjusambIa7sxjpwmQFs8WNUtA2+8e6ejXNLsmubc4kIEZdnN9EAThsGjuuz9xQrYapUVbpDy1BVx1MHX2lM6mrREPB8KCsUjt3/0ykRxIDuUtMJ0buQszz5GU1KDQDt0y6EaMXX9S2cazSlGfIZ4O4PnRLNML+fEIxQjC6mvnVj7s9kvUyMfeSuejCJsUKYBKfojGurQ+iYLgeQ7HeENAi1nTBB5hoUauRYeTpPbcmVLTg9ybeHamxDYnyrn+eFFFxG/E62soO9tBLzvvyE52/RizR5K7P188FgMa9tvrSTsXEM0br9kYGNSKrG7IiXNHmRCcvwv1L/lKJ+xTjGLbK94zgZUQoF8mAkgBAekFNR5+e6A8MsB7jwbFd44g8Q3EvHFS1OhW5ytbLPE6N01qKaxIJgFygWJxAA+EYX/MKuYnURinjMPWRP7EfPomJceKSJurZ5xockJcDW4s=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1655267344

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

