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

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.4-5

%DESC%
Simple Theorem Prover

%CSIZE%
1111656

%ISIZE%
3054564

%MD5SUM%
2f28b49f3533dd95701867985c76219b

%SHA256SUM%
c0bce96036947230fc6e58df1ff3e374fd85329944f5a5092f3da56ace2c62b9

%PGPSIG%
iQIzBAABCgAdFiEExdKm4O0tEcZrn6KjBjE5EQV91agFAmjvqroACgkQBjE5EQV91ajQsRAAlwk98SPHloA+WXJk7DnYLdgcB04HdhHPPPAdMZ9uEWnNt4Y+c64VwAefAFKDvrWYH8Fa95oi1dqgHd+wHvChSYWmIeNfIjq2w3EpdGyPS/b2eQY5C3xji5D0ZCRmbE4tmZMu7yq2yPRjDBa9rK/LbLIb1iecPsXQxvgsN1SDS+QkKWWC9t85BQX4ordQ2uBaXdzgHUVNhMFKkMhkUUzvVOPHr9wrALCdYt6JUA0rwOVqyAP2xuplYw3By98zCZqRjPF/lO6GydghXpSJGu3WxMnT7v+HUolqYGhjhjuH/IoWQUAq4gScQbivKnrCOmYHdze6gS3gSNDK6gktXiP5YRcg93V1gXPmcZEjR5gZ0DI22pvBHOXmIubkbH53iCrTzFf1+mTrbySOcvwb8IwuScpDJaHQeYqof+3Kl3ks493YvCydZk0cOoi/Ziyp7moQOskQBTOxnCTdDkYXYTtuLV/xJ5ZqosrzA4+2b/Id3JlQkTXtTzYcUTeX+8epFqozqmYwWVPArEpQVJ/4xVvByujSbyrMqjAzIJ9R2K/Dc9KQPQOw7awLkpEbJJiSNG0WBXYiNPZg0r98B5vszqggezDCINYFrB745HyVccDb0s3EIWd4rp4cm9hPjjWKe0nT8+/T+SdS5C3BUrLbVBiyIOUJdbDHfbHIVBeQWGcXQHQ=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1760537113

%PACKAGER%
George Hu <integral@archlinux.org>

%DEPENDS%
boost-libs
cryptominisat
minisat

%MAKEDEPENDS%
boost
cmake
help2man
ninja
python
python-setuptools

