%FILENAME%
stp-2.3.3-8.0-i486.pkg.tar.zst

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.3-8.0

%DESC%
Simple Theorem Prover

%CSIZE%
1075087

%ISIZE%
3210777

%MD5SUM%
96a3cb3636cdff822011016700a4f76e

%SHA256SUM%
d01242258588934040885498c8cbbcb0b3a79c86c7b02f41b293fda94167b294

%PGPSIG%
iQEzBAABCAAdFiEEFhlKgiMenvgjViGByOj1oK+bp+cFAmPQzxAACgkQyOj1oK+bp+fhEgf9GHNo1H/kurQO/wcBfrlBdMihhlXmoDHbv+WGISLatwno3ZtdymEYNwA2CK2t+fymr8w0t9A2+TRxpxGDH3L/gwzLdDeDVB6tnw97WSDVBEMx6J//knU3RbhGSxtkG/qgClyPvrnsHrwXhwPruZpDloiISdvI3423ovFUsyi7hbvzLrj8OPP20Xxk0YxoKzRrKTcsGV7Q3wHpKpy3EqOpy7jgrzDqjn/KLuhcRgAFb0ECJc80yFw+SZz6DBcztzVdHAVLV/55SY32LyfSy2aF2Z5/Db3CpEpn+h+I8TdcXlUQEqJAmy+KuKIwonVvzq8uRApzngR6AJQmD8Q+Ll2RlA==

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

%LICENSE%
MIT

%ARCH%
i486

%BUILDDATE%
1674628771

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

%DEPENDS%
boost-libs
cryptominisat5
minisat

%MAKEDEPENDS%
boost
cmake
help2man
ninja
python

