%FILENAME%
stp-2.4.1-2-x86_64.pkg.tar.zst

%NAME%
stp

%BASE%
stp

%VERSION%
2.4.1-2

%DESC%
Simple Theorem Prover

%CSIZE%
1272782

%ISIZE%
3426946

%SHA256SUM%
a2c7bb9330afd09674a77e9f049e2c255b9a4ccfb5dbef5afec0ba7763a446ba

%PGPSIG%
iQEzBAABCgAdFiEEFRnVq6Zb9vwrc8dWek52CV2KUuQFAmrJ+DEACgkQek52CV2KUuTB9gf9FpNGJrMJeUVG2Xq/75XYE1o+FcQexHnnxTizPwJzxRbM9qDGWNVw/vD1BwirpokeIpVVmt5yBv9Toew8mcN/rMqmtWxQPkVx8bCnDG1cyCW82KTaH2cP5mu4b9Iob1wOmiunhvf0pzMDh7ljGkxkobaU//APbrhuvl7Pq/ndUVkTAOAJG7F0BBxw7vfBbpk44gU9bki18SPEUrHaP/a6bIUkbiZWms7zpM0iRrhTssRTdRW5mOwqEDoRG7dyaCLBSNQu1nnBjLHDskVorwKY+iHRSqYn4KMUIV4D1R3etY5BhYWmHg7uo65+3Wq0aufPmfJICyMqOoWUqoWIEU0zxQ==

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1791621038

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

%DEPENDS%
boost-libs
cryptominisat
minisat

%MAKEDEPENDS%
boost
cmake
help2man
ninja
python
python-setuptools
git

