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

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.4-3

%DESC%
Simple Theorem Prover

%CSIZE%
1114656

%ISIZE%
3054629

%SHA256SUM%
2208c343be6c01930d9619f42de0c07d12ad393023a3229c2f9cf696809d4aba

%PGPSIG%
iQIzBAABCAAdFiEE8AuW0VIoAT/8nJ0Dk7EdqkwZfj0FAmeNh6QACgkQk7EdqkwZfj22YBAAvDm52YqDckpFpR0fZbAnfIJe9MkUvzxWhVq1qFim06a1Q3d74wGf/1bSuV+UytEAZ7tAVuU88lSXBlgZXYeQulzQkXTfeBf6Ps9JjH/kwoqk4xBLkQ9SPCMPXWD4rLqM1aoonqEmz/XHzbrhIFGTwI4+KyC550iYaO14f63Q+9gVjK7AX4T60rUw86i9IpLGV8/1gpG+RxgLj+zkboi1VUnExJFvfGgeVNKrv73hbN8/C2aEZOr+86czKISlojHu2fPwoq7+5yXarbP+dyYisH02ESmyR+pOX9fqvIQ/Cosp1IgITXyHUuUV8ukocGHzd/l8UthmKYlrfWqjkWt5bLW9UF0cpaZfF0Nk7NQlN5nAU7fuYKUhI7UQ7aI/7z+cJpBOvMQqm8rdP5Sg4mJ9HYnnsrHVBDKufgoc61nH36+n5hAIR0WErmnTlA/28Kjo7qpVEabGCnT9bMJJQblWJTK5zNbzBaPYm7SH/RIvQJYf3IGxSe3b0vD1QSmjAwl/Ec+9L+IV46QpLvevxF782Z2mDCo4rJEDS85FENLzmTc0++PD9orTQMQEJ6xV7wlaRmEZpApBCY/y5WQGiymMulTdnNN0ChYxv2HMsH2c9NcDC9yFaGEpXGVhFmyhsEvoqnbbF38nrfhoQ3FJgedxnR0kz07vtvpDXVVV1hzh2R8=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1737328499

%PACKAGER%
Christian Heusel <gromit@archlinux.org>

%DEPENDS%
boost-libs
cryptominisat
minisat

%MAKEDEPENDS%
boost
cmake
help2man
ninja
python
python-setuptools

