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

%NAME%
cryptominisat

%BASE%
cryptominisat

%VERSION%
5.14.6-1

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

%CSIZE%
990076

%ISIZE%
3366460

%MD5SUM%
6abb2d30c702c75fdd5101f66f570d45

%SHA256SUM%
0f015848c20ad66c6701113f14f7302c4c21e76e81921957d5c8e68ba0df544d

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmotm7UACgkQdxk/FSvb5qazxw/9ErumSzetHFf5zX4tqsU46aPIrjx0K+U3uPM455oWPJEgY1LArPTB/G/AjfY7xTty9bvewvS170lP+f3w3UCKfdj4+lU6pqsyC5g5r7SwY2i4Lho4xymg9h1jbXcbRM/fTCU5jbUJLpHbuMJGVNn3GUixTj3RZ2GrTOR6hBxBB91elS/n0KMy+SQE6vuQ5HobVnvLRoi4D6WVQ6iZyNFfXcCHvszZlDNASR0VVjSXMDyq2Fzj5hBsxcCDyHalSqmn/QkmDwSuhOylLLECVZv9wg0kjzzmnAuTbMcCAan/azd+7NLHlAfKArzEyfSSg73tlCM8gyVTCfNi7iG8lage3GcStxnRDJxPIRsel59QRK30/DYKBzlnsvp3LbIvsCONyqw3roePHGo0SZVlgL4WqeVKla0iCb4KZ1SeKLNXbI8dmumsbSMnBmH6ERSQdQOZp10V5XneVaxjjB3cYtFuoAtLoPVQ6AxGGAOzTRwtXqdM9A7gre/uGyDjkig1tPM/rnVxfrdN/Q3T3L5aZ5PzDPXh2ukcRFNYwBue73ARmC+pPaIXkg9KkYinUo98vKwMLRJUvPKJg95t6UyNW9dC/gFXsocXRO+qbMTFabEPGl46OuyshOOjKvtqkl06Gg5WQ1WpKGc2XdT980RlXnVyNspfm8ByyAbH12J0t4YkXmY=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1781373717

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

