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

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.3-9

%DESC%
Simple Theorem Prover

%CSIZE%
1120353

%ISIZE%
3131699

%MD5SUM%
1e41f308a78a1ea531f977a8c68b94aa

%SHA256SUM%
2a338488c303b8c70c74679657216c2f8ed64d6cbb850607da5116b3e4dd1563

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmQw5h4ACgkQeGxj8zDXy5LG8Q/8CDPwNemNahXQhCeNEArijmNxG0N1drAsmU0a2HuB7SbNnS1s601nM8d408xW5CsymwwY5X7pz5J06VVkKPZ2A/SOyvqdhblJmfD4FqsfwFbZWXCcz5tw+hTs2MdHRZthk7u5NE+sSiPFqJ8z9e87NkzakEKzhHddQah9XaIG/gJT2+n62W2lcOthDz8rBI6AQN/fxJX4ZJvz4UlTrxL5RcT2x0XQaErdJhiGoj52/SASLZI6vATcTrx9lGVi8RSZiThmgDp/vhElzCDhbCKJLZwlHA4VTAlybAT7KPf38kf1NixAc+F6N4e0PDxXwRkRzss5S9BwBJ+r4H+2jqUyg+hG2R0ePB47tkxIVUyZfLQqCHxq/yoxFCmBqyd1EPT9WjnVSO5sBYwJxD8vUEQwkPjF7lrGlopiDKgIFQMYKW55cdUDqg7KtIWOSdJF2w2H2gdqd6S67bMfpHz/VVbgiX9eKHo5lNwzMbtLY2GNTo2+6JyW5KxLT1hRfP6anEZCEyrYdnS5JYusRtuwckOauFsFNW4YJoz9b5ek9A2k6v3QoAYQTkLjVUqPUfW3jtqC+SvE+/XPy6YTMBps14LZDqS3TFzLSfMlQxHMDmfwclMCWnKArNislNtFKMOBHOna7b8aMkgi2lyJhCvMK1B5dxFTY97kdK/EyheQJ3BcZnE=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1680926180

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
boost-libs
cryptominisat5
minisat

%MAKEDEPENDS%
boost
cmake
help2man
ninja
python

