%FILENAME%
cryptominisat5-5.11.4-3-aarch64.pkg.tar.xz

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.11.4-3

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

%CSIZE%
891112

%ISIZE%
3073949

%MD5SUM%
58a987b98a4197105ad36cbf83e26f6a

%SHA256SUM%
f936e8bd6235b87d3bbffffc96fcdd4d36f0e4c8fe6493b989c712da9c985efa

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmRV6IQACgkQdxk/FSvb5qYbYBAAyoN7TkINFUN9kJtfuz0nYGYVpBsQ6Yrx89Ufl3jCgeng2a81kNFoqqBU4yHM1lVFLxPVWbLG7YEOHk1lThHPvyFrKU1ObsBUvsILQyqV3/IXhv02W0Kx4c3plJhRXdC2pTGuky/lMJPYugCfg1kjqkMG99deRLf5UAJDrUHW2rqzdTJI9VovxwLkTSItzXE9KC6AIS4FdMYdDCbGWDHCFihXy7ooy1vAALbIjpy9tG1PNzjyBiyiu7QCCZitRWKC9va8+k+OIV0SM6Vkmg8YPUHLx0DIlwqD/broJ0cxKycpJhLnm/2HzCrmFxpA/KgECD6OCo62Ap45a6PZ74fx2rq+pE5ek25PanY78dJfZm3vcqJMyURl7LGRA7gZWxhpNP/Wz7fq/ZqLbggVTRcOR5GwQWdzdy0fxzBFM2I3YAkkyK09kW6fG9zdS4oMTvAtPv0j2jlFR9fgZ+tLdOMnhh/z/mqnh5Ev4GMMIKKB+8l0G4Tz/3jMW7duTFYa+10kxolwOyCL6X/mPT95YV2F0ynueMKlfFx+9jGrhOM2oK2Zr0UhjbCxrsLBl7F/KpinsBsHfjcG86Ps8oNLp/3XNyP7okEo/be0RmCRwOubYjBklA842PDTAYFFesGuLPR95mJiPF31XmtnX4gHqd/x8o17W6sAJL2dffHkKT0DKTw=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1683351509

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

