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

%NAME%
cryptominisat

%BASE%
cryptominisat

%VERSION%
5.14.7-1

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

%CSIZE%
950108

%ISIZE%
2971250

%MD5SUM%
7d1af75cdd72cc47f1f78822b440d650

%SHA256SUM%
60ee6c093233c7d90904840a88c832c7456eaefe1a8f7c46a47670874ef75204

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmpAGjkACgkQdxk/FSvb5qaJUQ//TH0KGjSrJ4yWpM43lTcx4ycQyCpDHZIe5WcC8/NiAl7FbwCWuZcRnL8OeOTvCY2t0DXYUdh/7XcaSr0YA3vomYIR3/7U478v6SkVdSgag5LBwrf/voPb5Kf2iLTVNsqlKrO6IL4M4zwU8EQkVrkHNCLm/oNFpPNgu6n2RYNC6HhJovvzKLOzgvqJxPrn2TxXDl+e7qxB4IbF5ePkbdnAPXZB/jtmUYjrLEDJLS7bTY5dbqHP/NrAgOm4d5MSIon3MvAgMZRVC8E4Y/8p60vCiJsgM+8ksB7mNblvUWiOuf3Osd97J/eY7ew2DpdMAjSs+muq6m6QvXryflw/PblopzJc4H8BK0mVbBfccRsgtIyi+4mg5ZIP9VVMAP9XRQm8LEw/4UOOvX5O8nBsXyHGFmXGvAMLjjPl+EdweCW8jT5XjYzRtBYZfk8JMhtqvGcx/KYkURDsnV19Rr9iRA/CWcM4dqMExbbL8T4N4g4OsMeLkmnmgtzetz9/JSewqtmvOJ9zmrdC+8fbL7smUpHcG3tsLZ5imkLbFmqYOA5MGH5D4l2aW4eX3nj/PczyjPseH5xYFaxiZ4tLkOpC7fRC/U/JW7n2I0TyYGdxkePYtNEon+5lP1r9CR1OSpyMrtNnoH10ioPSHBaGWUVUZi1rYYfdYaCXV+8clgEyz+XsR9Y=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1782585668

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

