%FILENAME%
stp-2.3.3-11.0-i686.pkg.tar.zst

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.3-11.0

%DESC%
Simple Theorem Prover

%CSIZE%
1058979

%ISIZE%
3018876

%MD5SUM%
f3208bfc30f0eb48e8cdee4e69ad1c1f

%SHA256SUM%
1ec02da90d1c33a2ec3532318023b03478dd1de22b1d9c98727c0b758462105c

%PGPSIG%
iQEzBAABCAAdFiEEFhlKgiMenvgjViGByOj1oK+bp+cFAmXHJkcACgkQyOj1oK+bp+eJ1wgAn0JLz92dqttoa74wES0jPI2DpQAqe3aOrx2NTJOS2+eCeN7wI/xuhNxsiSDpYb0FwewjLA5gGKo1n0nqSI63y2ms+V6+PmBBmQSudFXayuuitwOCJTk/kfglWL3tSDyRbtH8BS20SmJZwp61RUEeiPB0E3oY0by6ZYggZU5t9buxpGh/sN8l10MeH/TffLuJ2WGheVte9kdnoqHBvOM5buKJ/6eUwMap6Swl73w88BgnMjxPD2I0Ec7UZGbYSmy8y4fLl4IqHYn2x3HWW9tS6kKEYT1Ik5Ljgit+y/1zQvnwo0gxkYWzq0dwnD1uNSSiID/a6jTMiNgU1QNYRe0X3w==

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

%LICENSE%
MIT

%ARCH%
i686

%BUILDDATE%
1707550222

%PACKAGER%
Andreas Baumann <mail@andreasbaumann.cc>

%DEPENDS%
boost-libs
cryptominisat
minisat

%MAKEDEPENDS%
boost
cmake
help2man
ninja
python

