%FILENAME%
cryptominisat5-5.8.0-4-arm.pkg.tar.xz

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.8.0-4

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

%CSIZE%
461568

%ISIZE%
1392946

%MD5SUM%
6d6ae142549167fb294c6fa2ee56a44d

%SHA256SUM%
5742c2d59bf7130a93b8d9f38e2536fe6d408c5e1424b60603447ee026c4ff25

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl/XmloACgkQdxk/FSvb5qan8BAAsfsU4Nf4B+EuyojUPw2jfI4o4gYJgqMf23JqL7658xo31uUDx4Bp41KvRIJItfo7TERGcyTsXbXNd9dSq14SGhC5lsZdHCfaPyU8ZSZKJ++CMbIhkhrBv/WQhx8FKwyHaIEOUgs+HAmV2f4GjRwlLhvJu1P27JroHn48PldZdr2+/6Q3SC6n5sjkLIJ3GDCPexAogV0fB04LfJQd+9I+Y9BZj7b6ArHHhQWMuHxYDjW82bQjceCRUtFoXSkNosZ67PPVWAPlKIjGDeG6BFlu21kHs9Rr0ejS4lJdWkR8v1CNK7OZ0w7X5/OFvRKMMJ2m6ToHppLaL/JdUR4nUZEL2svxASnBj+QgDNwy+b99aw/A6NgSnf//dIq/8bKWxubLGKCwxQcNkpONgXEzS3VvxJp4nALDQmvZs5yrhqAVwoNl4IVdhDH8NDBgLG8YnQ5wreiCDkzXq48S/5+fJuWKehOtgC4JcA2WaFnVfGZ1FG8sk3AP7S9pS3+q6oOVZnbNcrUej0ExOv2uwkYqQYOSWz4fW6AdVkHOZVNIWthB6D/5hRgQmQQO3Tpd3lTt9W6j0tKT5ZQYzklD+rHSxHcxCX/L9k5rqQSMS1bV/kOhIXVxUTcZNKi88ieJ1WdKUfQuzyuJ1mGD7qg8XrM5CJwqmB3HgSC8DaOU7NM2XO2I93E=

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

%LICENSE%
MIT

%ARCH%
arm

%BUILDDATE%
1607965195

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

