%FILENAME%
stp-2.3.3-7-x86_64.pkg.tar.zst

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.3-7

%DESC%
Simple Theorem Prover

%CSIZE%
1119668

%ISIZE%
3131309

%MD5SUM%
8da996ea6c15b48a6794e2b7fd155bbb

%SHA256SUM%
8fd5d788c6ede4fa8d4d565ec81cdfd2540d88b66cfe9b607dab554218486bdb

%PGPSIG%
iQEzBAABCAAdFiEEFRnVq6Zb9vwrc8dWek52CV2KUuQFAmM5wEwACgkQek52CV2KUuTkhwf6A58A0m2mYXHp2ddw54TwAQ/CAD/0/tLtXKycbxeam0m2uGz1FSBTcrhOd3NPq1NP59cqmxUg/TFG1BUHPe34gjS9fYUXYo+0CD+/qFVzpe/a+JGg08m0zO0F14VUZr/UvDZtyV0IgrM9HWJIbQ6dH2RGOuI3JsPoXEfs0ty4pZHfRbO2KGt2v1cLjUQCB7Sb66Tf5IFM5C1mP+VjoJiIzZhuXLRjOwWy7ec9Qe/Epvx/MhqnUy2+mi1qJY+QfJG6/BrcnkCN5KzjHI9sQf12S53wVmfwSFHvSuQ6KLyogByPg1xOWN9fsP/uAQyn6Lp7ixTjn/o/vZjlpkv9XNGUZg==

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1664729115

%PACKAGER%
Antonio Rojas <arojas@archlinux.org>

%DEPENDS%
boost-libs
cryptominisat5
minisat

%MAKEDEPENDS%
boost
cmake
help2man
ninja
python

