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

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.3-12

%DESC%
Simple Theorem Prover

%CSIZE%
1107357

%ISIZE%
3021306

%MD5SUM%
83edab7a68db16e4fc7be2e6638751c5

%SHA256SUM%
34a2a8601ccb26b53a1706c56c1995ed600a590718d95c5c0715c92c1c7a2801

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmZCaVUUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwaMRBAAmH3mYXSbrxtDM9OLLvkX2qIbwgtmuArxEzZw8K90APqVun4cZ9ZrLyAI1dawL0JB9hgY2n/zyqV/pfuVfPxUFSRbG9uId3ITj/tkwdE2Z8LKioqkUeclefGYvhuuKCEqXU/qN+4NaEziyuH1vVE8afZwBNDVP4hPXHwl/M1HecZh8NLLJ7+bHi29gm45HhSNK6V+S3jA1p+ufhfCmm6Y8MhNEsBvdvP+9gcpdetDgb3S0nwsTDQy5t0GhkI4elNEZnLn4CaEdv5oW8weBIBMK/Sh5StZugzqdQ7lvjvM6w9eFh+/lDHKjyo3t9bnydM2xYG0y3uL8XLvvOIGUB2H62A2aaDXb2qz1RHPl5jaPpnsih/oStmxaCNQ8YkAGJh1kveFAEjOqWyhT6Ly3cN7uqnLiomU0IC79Pe1gdVJgq/0ObzhotNRiXpKIv+iCo+vrv0TmUUkwzpgXMgr3WyIDYazCd4tmgy6s06oDT3VH2c4KlVijUgWAqWp/89pkN77oIiTTsv9EO4a/dg7M2CW2pOhtzaqqcuRi1RIQyQIdApEbuBkxNtMWXO5fzKZZXrO9Bv/jmcOfCbbtQs0lk7hSwHhaPZjyGKV3LYZFUDyOJEDN7EcapNlZbsoappFCWQJiwBUDSc8t3o/5rEFV946RPsPe86JV5SIOHXxiHHI6Bo=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1713092867

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

%DEPENDS%
boost-libs
cryptominisat
minisat

%MAKEDEPENDS%
boost
cmake
help2man
ninja
python
python-setuptools

