%FILENAME%
cryptominisat5-5.0.1-4-aarch64.pkg.tar.xz

%NAME%
cryptominisat5

%VERSION%
5.0.1-4

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

%CSIZE%
448048

%ISIZE%
1451008

%MD5SUM%
9830fd7362c98aa628cab185986868ba

%SHA256SUM%
62ac9b984ce477f2a3f0b3f3c52938d28edf0f076194f5554cf7d05ad43c4cfd

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlpRxZMACgkQdxk/FSvb5qaS/A//QdVptA16ZsST+/5p2Si9UQrtg8xsbr2PJlF5LOkjaVtj+Hk9q4e6lFX1lkybEqmAyNnuiMW6NBgsZiAKUByinTn/iMUYbnXRFbKQf0c19+c5Tu8UDBtTUzVWpiPu2EQdKOfLs98ZSZcdUPkWA4rmxyJlbggi1SX7eJE0U7tP2o1CZOVNXqBf9QOTg3FZrXeqB1NsLQB1dY9GMwUlhrlCUe73B9Sf+yoQIkB7WdG7hxFVpewT7scx9fu2abUG8mcSz3DDOHCvcgHRCxRlsoTTEsHm107ytq501P8d4JcXjJgsjW2Ka3ZnfkMm4XIdexbIvnYdBOsttieJ5hOt1V+PgVcc/Wuz1f27a1Bq2YSZIDZe3+yMCgGKwgwxLqsXRSH3jK1eXvpq1mtZn39IrjmcQ4U51ozTduq32m40OB6uVRTTMc4jI49rLT8flilOY4+Q9qm0nnkQvK1gtmnvzGIrNNi0sjxggGTzGTxapqT4AI3eRfKPJ4siyJhfR4aOuogTgNj4nFT2rSiYox33pGNhlN2q+q5k8JGNfDht/JJmLGJbxt7nNwddee4ajSw7XCIz/eEQJzFXhfNIOuoNkKdcqsu7psg8JxoPG8kRmpn94co2c77QYvrZ8ZJoJkrWcMH4hUV+lM/pQ3wBEk6klOZeWFLR8tATKmxRDVmQDBIc+AQ=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1515308431

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

