%FILENAME%
cryptominisat-5.14.5-1-armv7h.pkg.tar.xz

%NAME%
cryptominisat

%BASE%
cryptominisat

%VERSION%
5.14.5-1

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

%CSIZE%
947916

%ISIZE%
2958962

%MD5SUM%
bb7e20fb1aee40f453aff70a39da0bbe

%SHA256SUM%
03f5762ab3dd3639bcf8e3de61180f0f47bc3c7494404c24c7b6ce15eee1a15c

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmofTygACgkQdxk/FSvb5qat/A/+JBouEyBYZYIiiMwgwDL9G0aRauG4okVIWuD40B2Ui7q9X6lSy1EAZ5nS58sFcsY58qdgkR0SAD9tsB+kXNjn2zeBjV8TDLoW8N2Qyb898V9Ai+VKY5ZtaXGqDuPEWa6GsAK+Av+WC0jRd3HEo4co39eMuU15TAg9hmM7vkhDUpGaOyjoB012jp9dk0zILnq9uCPe7ddySHkyeg+iusPp1f0ZBE5Ssdd2iHYBTImeZbWFm3a4M5Vdug0MxIb8u4nE+xbcvTHYZ9IGCbJvpDV9DgQO7tWsFAhWvvsrzhIMFnMI4CFIUfOX+nY3KW/9n1whrzYoUvT/PcZbpezSNfBdScJuM2MQUDf53EFQRhsBd/i4YXTFvH7FANdW4eicFB2kgypCdlzDPbfFHW72GrkzhJwS+1lcVVJrIA7VwKGL7mWI2co434YDPFIj37alTbQZK2Xz8m7Imh36xrGosqO2stszS3cL8PHM0vwccgy1CU8nUJx/2B45OqGV+sniseT6flf0sv1lla+iWetdSOdssD+ZlQBBcYVzvHPAiexTBWdJvK7ELckZpctJFtn2h+PxmJokSU8aP87Wk0oCE9RmpiD6nOTIgcky+YWiuGJFOUXFVX2TrbqRLuai3fuEwGrxavnYCOR9w+P5Y+SC+DoUdX0MQY4ATSgRXvZHrVyuyZc=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1780436529

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

