%FILENAME%
stp-2.4.1-1.0-i686.pkg.tar.zst

%NAME%
stp

%BASE%
stp

%VERSION%
2.4.1-1.0

%DESC%
Simple Theorem Prover

%CSIZE%
1206269

%ISIZE%
3248162

%SHA256SUM%
0c166b583038f276cfbaa70ae90c1095b850db02a3cf93ec47167b585967e2ab

%URL%
https://stp.github.io/

%LICENSE%
MIT

%ARCH%
i686

%BUILDDATE%
1791545495

%PACKAGER%
Erich Eckner <arch at eckner dot net>

%DEPENDS%
boost-libs
cryptominisat
minisat

%MAKEDEPENDS%
boost
cmake
help2man
ninja
python
python-setuptools
git

