%FILENAME%
stp-2.3.4-2-x86_64.pkg.tar.zst

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.4-2

%DESC%
Simple Theorem Prover

%CSIZE%
1114559

%ISIZE%
3054627

%SHA256SUM%
1d8d97dca7994366b983465fee3ee3b8e66c0d17c5e303614328109dfe0432e2

%PGPSIG%
iQEzBAABCAAdFiEE5JnHn1PJalTlcv7hwGCGM3xQdz4FAmc7c1MACgkQwGCGM3xQdz7lGwgAtM0JAk4KgSEcjF/ZzsQ7V0oSgMh93DFDHthOfDBZlPeZhysvHs7jYhZPaDpo56EXzyeDVZTYtVhRnaTLXdo5ojuF1MfptJCEZylQxBle7g/SgAwQQUnL7bqi71434xEOiuczj+vrjfasr2ZPAcwMKY1JSF9+8/ZKgZWFwMDGd1pl8QawyygnbvNJ84ZyA7BDe/NIgfurO1LPf//yBqrqTKUBvf4SIOakxtY/lJYXpcPrCm4+JXReE0ld5C33wwcvo1m/8b8i79Qjlv9LGwcQ/1fVnZpNLbAk7zSN4XwKltQahwCveJqjjhqcXouMT4sr/DFyF+DseHmoKWXhgxFOWw==

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1731949351

%PACKAGER%
Jelle van der Waa <jelle@archlinux.org>

%DEPENDS%
boost-libs
cryptominisat
minisat

%MAKEDEPENDS%
boost
cmake
help2man
ninja
python
python-setuptools

