%FILENAME%
cryptominisat-5.11.21-1.0-i686.pkg.tar.zst

%NAME%
cryptominisat

%BASE%
cryptominisat

%VERSION%
5.11.21-1.0

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

%CSIZE%
1025950

%ISIZE%
2667095

%MD5SUM%
c310d3183eb3d8d8b35db5ced08bebaa

%SHA256SUM%
cd1d5f56f9bc7314034714d2d97622f27634d8925e2abfba054558beac4fd955

%PGPSIG%
iQIzBAABCAAdFiEEgOwYeZ6LzTdcbmSr5NQVaRlrEWAFAmXFhaEACgkQ5NQVaRlrEWCN3BAAhI169LXc1W3PhYdfBX6565yZdRiK4rwaLTckmXSYJgZHG1GzrSjVvIM7Y8QBackoMrij2oezonDYWmqB4jN+O7JhOw3AZCqITD6tNDIqwOrJZFWcZfqUz5icWA4tI86boeJ1+gVUdxb//FSkIDRzpioFlxFCTlkdBJ7CC9zfRa6JWYxrBm38VtYJlrr1CDFZCumiuJZZvYNQJZMI9M6OR3hCP0DNDfiC15e0NaPzu6ojMCQciSdJl/qdGi18aKS+GfWQcAeZXUbtiDMVPFLR1YfRQxhC1uP1DHL7lzfC2dueC4aqUhtnGUeLe4KejzdMpy+byQCF3VTotoexaj1awsCHOaU70xuQaPl/IBED3yRyKXQajjz4NgGFll3Ef8RpHrHZACSMDbdmwV0nMd7QUWPbieMHcpvJ/AJKLdhZiPIA87qfCUpeu4FfNzUBmtqmhLs1nr4Zb5jcozGC384SbLErsyB6jxbBBZG0FalT9Q2VmkuF1cfziEg4tokN4ritAiB2iZxNI797hjl5kGcpHl+xaYG18Uu0iMHM8dMsBkUEkYWAl909bs5Bg5LlSO9HqCTPQ4NYnV0EEBWscPpJsLlz2CYXR0/lkeO5a0oqETua1TYdFAjBXvZS37E3muXZv1sJme3qS4gr7E0tQTOH3XE2um5PruWgyn4V3tnx4W0=

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

%LICENSE%
MIT

%ARCH%
i686

%BUILDDATE%
1707443473

%PACKAGER%
TasosSah <arch32@tasossah.com>

%DEPENDS%
gcc-libs
glibc
zlib

%OPTDEPENDS%
python: python module

%MAKEDEPENDS%
cmake
help2man
python-build
python-installer
python-setuptools
python-toml
python-wheel
vim

