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

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.8.0-9

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

%CSIZE%
472040

%ISIZE%
1425793

%MD5SUM%
e23ec347c53afaacba0df1c53e01e986

%SHA256SUM%
aa79224438b661142c98db974175a9db4aff8d0bdd044c64bbaea1fa5d000fcf

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmG/mA0ACgkQdxk/FSvb5qaHkw//ZxQgqeoYTCPBENh23CCCJLce/ULY6nyxO8IZ7kVgMFjvLFzUe8YNP3rHC2LuA3vnDz+HlZ7Ka8rBc1dOoqyXa+2e/S6k0TTsZgNLCkFlMaULhBnBdk9hAex++fBbaW+l+oU4MsYMqoJQDbPEIX5ZAuCNv++bBBvm7imEtlqpGEgeEzPobhbtrLrYI5ueTqdp+HSnVY2f49W+QURuIEvMttcIDfIicyavZJgqEDglnAPuREmJnzQ4WHjoqinwEXN2YXfF7IP3thERTCfiwMYVBxZMi9Hjca7k6rxlYnUdpP4eR/Waw45NiUN0PXwLtJmBxbA4qlzjnrByFYEjIXaSQ6C4+AXU4ctq00hPGcOBzEZ4cbomVkrbs330Xfd62SJmdiQpyh6aDFd4/VL7SQ4Y9JFQlJp321yK/poHMRAItkok/Kj0BzVj9+e1q9HwtzvlQkWFHx0lCwy34oSMiO6m0OR4e3rH2fNV0KMZHWqwRYNVr3maulrhg6EGQ/feUF9JbCGMKbbUD7UkN7gFN5jWtpZGSk1fFPL9y4kf4CT49ZH7QzW6I1mLezAUa1ozn02E7nJHDCtnpSSGW6yFkw+gdrW3mdtJR0GnIjf8M+Chm4CoRVCxF7bARXE07AwUj9/zriQZDfNzR8wTFTuhi7Z35DGa8vg1XlGbrU/rg8wJRVU=

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

%LICENSE%
MIT

%ARCH%
arm

%BUILDDATE%
1639946173

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

