%FILENAME%
cryptominisat-5.16.0-1-aarch64.pkg.tar.xz

%NAME%
cryptominisat

%BASE%
cryptominisat

%VERSION%
5.16.0-1

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

%CSIZE%
1260984

%ISIZE%
4159419

%MD5SUM%
d33b43ac889e0d5c64e6fb609a046f90

%SHA256SUM%
d841c04de469cb5db9d7454cf6619bfcbcbc6ee401c4fa9c4246f632c3dff9e8

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmqyfGcACgkQdxk/FSvb5qbxjA/+N+WniKzQrJcVj1n+JQ3EWDrsprblxXb8Lp0uvL6Z0cy/FiEQhwNyKGBpYPDXOxP1aV6IowtNShDXko+QogjrVVrzSQrseb6RokFHfU9UOyyK9pup2aZhQUgFlz/YZC42l/8BvegYB8JBFqLHZW1xLrYZfn5YRMx0pvoWVsbk1CdPAtl6F8/2U1x3Z5oSSQBjPj5CbDNzJj9UaK8dCt1ccUSHptRYP34wxHsm3tPiHC4GTIKTay2cUZng6BgRjfIFx9uQxze/4RvlXKswx0wwT2p87zTN5iubo9Svszja60wNHDrHAfWSSjDM3vWEh0dQKWLyPGBs9JAHZ8spXGHcmpZOMYVRVdZ5rJRv9agqQ2F+0DDzPzGxAn1C6owKyO9/yAQ5whfvqHKIs5tYHFb2vEX/oTFcPSwmRavEenTjlA2KXXg/hItR0cghOf3aFBEgRkvX8782LvJfk9Rl78m8EWj1JgSHX6LduODRlxa4ZuOl5A2fYGAKizfTF6HNnX05QJ3MGTdgrd59MJLD94ND77xGMDA1IZsFGqH3XLHzWeC7/IQdf3Yfh3xySLh/FYxzi4QxS1OgwArfc+YHjMn6hETDbEvQvFEVS25i1HhNCle3/m+XKxSd3dWTxgVb4FtHQFzwWIWGFVk58r0sQWW4lv4to4ROXYEIbehghVZABxc=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1790081977

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

