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

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.11.4-1

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

%CSIZE%
892476

%ISIZE%
3074051

%MD5SUM%
9902bb5f2ce784d85d237cd1ae3a0c94

%SHA256SUM%
b6de1361c208248de6f7b954131f95d0ec48188175cdc57e1564147dacb5e89b

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmM84VwACgkQdxk/FSvb5qZCcw/9E+PBbdW7gKWVBZ8rqe46k6BI2PmIqoJPTgc44qxC2ErtxgbwzO6PdMHeKjqgs2TjjJXiE37qY4nPvncnmGhhybPI8SUewAxY8jtyR8GhWYi/HHtHviCl5qAh8v2I0IlrFhjxGfkma54EN/dYGH2qD3P91v5WH1hqjx+ewQ0DhQk5FwIAC2gZUqAANW0hWgCYjUOOvCLnbKCdwfKTMR/NnlBDr4ToELXcAH8HNoqhRf0QprA3DGpCSKy602o7DWEy8FhX7VOngq+5kcAyaKs9I34C51J4r+3yM5J3vavdXtsyELONXMTgU5Ux51fN56XxhuNFLo+7gTVfb0YZoYb7tganLRLZ7QiblETF5tnBgkk57nmHgxX1T135NFtpfJ4SWEnRX9FE+S+oTkPH3EEGqik+0x52bVDu3sGP85S+58j2lRnVHUrK9ztsDKamql4IvV6KMhnYPtZTVjz3hosOOrWLRzHMc9t1PbOMpXT3sOWCHhNrANEitl1je8VHaK3LRzN5rST1aMD7wFaWbxtKFiYFoFBhbCt7n3xbl5vQsOe6pJcyHXxFLqIssC44l0BUEuzly7IyXLTef4apjwduX/Wnm8JXrMF1ydz90sQiIuPeI/KM3nOgRLN7Esh5P7xwTyB2gcxCwmRBFzlgGg2XP/393J9HpyXY69TUdjEW5r8=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1664934076

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

