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

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.6.3-1

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

%CSIZE%
414992

%ISIZE%
1489920

%MD5SUM%
81f69cf42d06f0ab1ba1994299f22415

%SHA256SUM%
9c7cd259074e3688f28a44ee5a9e16cc17046b47d2d918c8b9c03f02246fc4d7

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlshqfkACgkQdxk/FSvb5qZWJRAArrw4Gd7bh6G5dvxdcfw+rx28wHcR0SzYDdvLVa+V/498LL70OmRuqyOh+bwyial2/5cDRpBv6lN4CH1f7ruf4uokmZljbuEtpfEW9N4pmNzXZTIYfdVdSbNyKHpofe8z6Th/oiQA3H3qGKR+Zh2E2WCaZhs+1NMsMv2yguos2vP/j24uHb1ct/TS/xK07pjtCLLdKNbeNnsWbNwu2S8vOp6J0YVdKOUAUCFE3lnaWjTGrcbuUR3VHnnEqPOnXoLv+hucpHInwd9dAHx6qWJ0QW34FB0zHFKfymmmQAgCHvDxEhT87yeD9eeK9rHx0R4ayDuygjLan/6+3pgv88M+DJ6RkIfVB2dXvCU1ugyejnUg2baQCMLcpupw9OOz3s6IP/QwHn+KA500lDCtv7PiZ++gbGiGqj4p2zXPGntUYVQs/Z7UIekw5wJ/JrH3qgD3VZX8SHgugzs3jQevkl7N6qHkhYx+N/+wWULFEPBnfOLEAfv58xGXIlgciFgbcWgBeEVWk4tw/Ihr70YerPFWw/1S9X0tmkUSbrvXOGnbuY65/3ULa3BP3jFEi1bVQCHMGA9WjqdOwPfd8SlWehQWvGx2lC3MlX7hR64XzeSiV+C43xmscYJtSkYvnJwE/1Io12GWN8ZUUUd6/9Bszp18dIjdd8klRrV8b3WJUHE6e8Q=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1528932757

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

