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

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.6.8-5

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

%CSIZE%
436712

%ISIZE%
1500091

%MD5SUM%
faa02b7f98bb1bfce55c02ac17a67bbc

%SHA256SUM%
db7692464536be06e6bb7cdf7a007b8ee917cef388a8956e5f0137901bce3326

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl4NyL0ACgkQdxk/FSvb5qbcuQ/9GQqEig9boqSZu3qXcy5Xtbl3Y0WAQZ8cSIb6ck8mIaFWa6CbyaqLofJXeHtbD72/7txDkYQIsal3a+s+45aWgsjVw4QeHR5G4XSkaRUVXzcnkVienn+g5eObfBuSWAr+UOS0+SmRGIti0RB0gcU8UIfkVLvhSo+CrWi1zvWVv5/ad6fFl4BxC8EtOug/022mxH5Ro14zGQEomX28sN3qRxjIOsqCZdtjhoggQNYT7B9lk8hsfw/T6LTsPp7MKbH02BtUM6ZmAQ8AYVSlW4uI5fERc/wxr018FULgxc1WllKdofTm7jttqsS5067OP7XN+/cgWAENampsuiXS5TDSQ0BBn45E4uL3qQldyUyTWdVArRiw0N78d8AS/3V/69qVk0tsydWRu0jV4xQd6o1u6pAuG+S1ruNPdalO/zeSIi6NgIjQwtqT2+lIzLgg0qqhLJoQUYrFhvQOmFKwIjNVjAw4ixNCPG5DRlS5PZXjTEh96OUyd2/PqDJuk1wypKqXZPmClXjCRExyK8IMGaCFrxmlQrFfmPigPwwdxd67UVq145oviejpgBRhlaJ7NllDUGPx1NnWU06Sjr2oN6GDNMf1DrJbXyhVg0U7dOIn+khy9n1lzaF1h49VfoeS+WUxjpZSvOZ1riMX+q3DY/w9WK7UpRX2J6j9CbbAUeJiNfc=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1577961517

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

