%FILENAME%
cryptominisat5-5.8.0-10-armv7h.pkg.tar.xz

%NAME%
cryptominisat5

%BASE%
cryptominisat5

%VERSION%
5.8.0-10

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

%CSIZE%
494096

%ISIZE%
1471773

%MD5SUM%
bb6f1fa72726a737b02850c53d72ac0b

%SHA256SUM%
4120c621eb5ae4edb4887191b689e0d5fcfe5cb7dc899412ce2d145d5342c138

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmKpO+wACgkQdxk/FSvb5qaRoRAAtb5ExrY9xG+pJuC+bH7++aTS9wO4TnqXcSRttkDsMZcW0ZYZyJBqChkjS1YHS1+t3xRIpknrkv3GeOW2U7T6O/aLB13hMFJpU6GPNEgs7R1Ec/y/3N+f9AYPLKT41Zi9adanqIehhLjgH1/GrNrF3vKDOm8vsV/x32EpLpx9KPkDDKCkwBsn93U3XHEGETpcDUfFNXnagCOAKbzeTVoX+EGnoT8uDD7KTac2kfYNZns6L3KIO6hkXSC/1XpYckc2UmZbAlZNLNQOH3npEGhUi3Gh4AI+hgh/B2Qezyy3GIEPrvOnOaq03XjMNVWjoClhhhGL8pxPqNTgWQk7BgfHZZ06awFO9uBjt5yX8gnU7YnA6UfYqwHzA0g16vNcB6/lAz9KsUIq34BmXqi/DMyAuAfG9iC94bTY5hILYqp5l8bznZb0UQm7nwe4UWRgbwABlCQwyqaU++7T9vYPac+AzYlt03ejvrLlDtCuTqJAv3OKj6ETv6ePpqOeeX+b5sKG+BOKXenO/iZuRsDGCoJNvAaHJUvbeNSvVrAvFEpffsTaj68T4PJpsp5DQaPNFgcwnBVnC6OTZti7OA99vQK4/4af/Qz/UIAT0/9QRlqi8kyBGQHpsor8XOj2Ej136PUQYaO1LFgooUuW2tl9Lk+N+MocOKgZ0xsWjsd9OBkShrk=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1655257985

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

