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

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.8.0-4

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

%CSIZE%
459120

%ISIZE%
1344726

%MD5SUM%
e7eb89fad87255b04762b17d5d27c0c7

%SHA256SUM%
44a05063c3fa2f71a301efe5b5513406b8dc794e94ce9bcecfe9dc43aed81c1b

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl/WeCQACgkQdxk/FSvb5qaWfg//SclQTa9OiNxKlUHK05g03E1CB8g7I9gJ5qOC/tyUpzR0WnzSzPlINeaxB+GAOWO5z4FET8YzkWeDX2jgBrbhrB18n34nOa8ig1txAbyi3ZHV1cRCJUZsv/ZI5LjLIeOsONkfbkoISUKx3edpYemD0mm39GrjxQA4KhuJdh8gz2PI91BnWbGByZeqsIIGv52zREUM3XflSn6etBf4VCDubrhTIt/UfUCbQVy3sjZqOc62QdoOONI9u2D1DPfEyI0WXn2GMqKMq1JVYUZv4wu/evId+7QciXr3NB4FsRfV2rtirhoNqw3ZGcNoiL+KSHjtNrnmdmHIupZnYpkRwwUh5ZBbj0eDl3B3osHls6PbW7CO6twSmctDxixOKTN7+EazAe4BeECX5A0Qm3up5p6IWDdeR+nbhMNl1s1gr9GOHF+4XbIwYro+fcDvO5bZLMEm7RjkTdsQV3qVsOQcP0IGxnDB4Od+bN2G85Pi8wNb6tUaU7pNLWG9d0PzqsCdwFnK5PY1nCMXFHs9TAsC9CIreWtJprRgz1V4g4NzFrxgLauhAgJATr6REHAi8dtAm78uG2ko2YsWA0egtcyRbDYb2IM0SDgScMuna8mTLAM+wjIj15dytkde4HpwaP5ceOpqR210TILKH+236t0jSuLTj9OrqkW3qa9g0IZgUhws1EY=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1607890901

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

