%FILENAME%
cryptominisat5-5.6.8-6-aarch64.pkg.tar.xz

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.6.8-6

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

%CSIZE%
441844

%ISIZE%
1536971

%MD5SUM%
3ad503f6a22356389f9da80d803a980e

%SHA256SUM%
a1604101eb46da07b2cade1a3ef578eb41157e22a9ec70bba93132bbbf1db365

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl4y/0YACgkQdxk/FSvb5qahURAAxwAPflh76GeiYG5EVblRw7L1KJh1daO0auols2zvXX+kl62IZv709CnQjkbdMktG/HtksEw70hIl0u8oHFH3FeMNZjVQjBTlXIHTGgBnrqAAlZyJwNYGQkcBq5obII+0BadnB2PyXcTxQLUJcyCUC6bf5eXoIkTaCt/yuq7GM5o7lCn0pZ8fa7el1Yo+9ddzmdTdr4yVcqL1SeLbc4ZaBfNWLAhKenbv3PBL7husLe6XGYpTfCJBws3G+EtcIlCjJ7AWz87+f8UhcpsdI1vpWNIudUDKAeLRUtr79XgY9wZ8Tu941MqDFlkY4Kfb3xVnB9chbtII9t3FQxwpKrlYs63XGlbHIs5dQrBAJxUk0N5NmT2GBxHYv46GloC9d1fcgGVcUIGzOe9WzXy/pcKBfhoLol1lpuA3lm7nO/9cufefMD11ow/Vc0qJWMruBwh6lmu3SXFJL9jvsjMf9chm6zCwjIHEkeDrXKpD22iH8KNSB8keJpTKG8WMZXUpJLgW7rUlyE+vuVCYY/L8p2kyJam6ifKjZC/4b93PKquvUdOmkg6PonE9zBstqcKHyDeWwHFpnlVF84XMth9ojuRgU0UcMNQsiHNbREL4oBMLHQAApzwhJ7I08cuIiGSftmIKKbMEM9tsAbVmTxHznwXXQ1BW4c0neWxG8ZIuOKVPxKc=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1580400305

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

