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

%NAME%
cryptominisat

%BASE%
cryptominisat

%VERSION%
5.11.21-1.0

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

%CSIZE%
1017171

%ISIZE%
2654807

%MD5SUM%
2b8154776e14944742ade4bd2b1895c3

%SHA256SUM%
a67cdb5338f904c00c3d9f077baba6d122645be0d27a8c4024a67df4d8ed9024

%PGPSIG%
iQIzBAABCAAdFiEEgOwYeZ6LzTdcbmSr5NQVaRlrEWAFAmXFheoACgkQ5NQVaRlrEWBTMg/+PGcY6YSDhHA+Sy3Wgu7GoItp8IgxZsIqua4DOxIJG55V/rX1Rd1APm2I+55oZIUcdfoH4gp9pPdStAAOtSh+d2CmI//CHpWoOk810FQ6KS5F85ENuGN6Ijw5sNvmUz0fOAZ+H3xTyCLOVG+3Cc9nK8/8zauzE8HBr4bpnSCHCtJEXrk9wm/wy3K1Ryv2l6KMs/stxO1i6CTmZ1v7gS0OhRjOIYOC3JcvmDgwG9AP3Jybj6Wl4PAjA6lQzuTSE+DgFpGGwGaxP6vSiGg9YEjGcU1My0W/XNpRX4l+zNdkBqE0XAjyV3X5pIFChqrf0SIHW2hWX09kT5hNIbfMPBgep2DY5JIgB1tshhS5tnYeezSBRdI1kI8WTlUKxHES3Ii6g710kQzkfdOsZBUg9TQthXXRYipmFbAetTSgb3/69BQXSXwdB3RZy7FhXoo2dYfC6TAWX3cbjnAP7+gHn8c1eiyDyWw0j92DlvjeS7DSo8QdwnCMZVwLkIM9Ckj2ca+z2LOeHCmcWzuTZBr+zz2Mnfpk0Tan/n7Womtfm3rC9Qz4RwGCrsin5t1bfzwWaNggZvsy5uomjWVnnR2hUTTs1jiXRR6G4U75P+bNFvGOwXWsLuaFDQqWIvo94kPZekAeEjIqkYHWafj0Koe2kjp4kgXv2h34QsoTdCqwSBzVVJw=

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

%LICENSE%
MIT

%ARCH%
pentium4

%BUILDDATE%
1707443548

%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

