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

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.6.3-2

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

%CSIZE%
414128

%ISIZE%
1481728

%MD5SUM%
1a7282cda0bcc33c3ed42ca9982db7cd

%SHA256SUM%
8e5429b600d30b007fa87c634be1d548056ee2c9d603eb8d16a419f30cd6a181

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlumHNIACgkQdxk/FSvb5qb7rw/+NRvgp9e6Rb8ECEPbCvK1aHJgjc0z8XQmOvIkXUGBH8DwVHWK8ZGEPz0YP5TxGSrOBU6SZih0Hyv3KU4ds6ugkG8S+KUjlpxCcGh0+oPzGp2mNd0XdLiIxJkpwZGJjTby3JdKrAJEQOiTebT7A47dUfa6it3w0vEHrYKGQ38nrPX6oifTP0ThwGCp96xkN6IwRgMU/2mhe+fcUUgFtDiWEcU3nrLCItnul5TKDMmDh7zcys7QtPBJDhTndj0EwWKVSV3gVnOHHyLgqjtODWhDWJWwGbSwKPWoHZDpgPmyVpVIZPfkaElqwKgONjx9Qzqi0RtgwK2v/+KoG24vBediv/05UKjsRTd7Zpw995AYrrpB291/GumknqlArk9V60TL5Woj706ZU/oKoiBleBf0/OuiOGE+TorSXND8sf3pmYE2y7tLBdo8mWshh555COIu+TXwlGYaSq/UaVMpMYvyxw1t6odS7JMEJs1HOtzsvThXyuPCpbjE6nuQtFAQIqf4vFUqwY25K3W9iRDbsnlNNC8VnQ2b+YvUL6QLBqDnum0DP74W65PQkt0O17eJbA4KKBdSpbPnDYpL7TaFsoHBKgUWAy/OaMah6XbYzarNOakk5NYZkUAK9tcvTlNJyRP2H3TsetpvPystu3xtUrRf1oD+TY9lxWLa5/EwAt9HUtI=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1537612911

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

