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

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.4-9

%DESC%
Simple Theorem Prover

%CSIZE%
1112144

%ISIZE%
3054707

%SHA256SUM%
7efe51733ff5fc910ba9d61b3ef5c2a4aa316fcb76156881f4a5255c378e6451

%PGPSIG%
iQIzBAABCgAdFiEE8AuW0VIoAT/8nJ0Dk7EdqkwZfj0FAmnrb8QACgkQk7EdqkwZfj3pcw//abRRxIg7xyAGCOUWrhEWz97g34yBj4z37QIdyNthXCSeKTNYuyETWAk/IrE1bFYatYL9zkVzyFKaRnKjxX7zAQD9BCpurl2I0Nfe89aVpRKwoIYmZS0/9ZAbfnBwpan9CigOgTYlqZN9lXMnpqhOvbeq/TeDNS1bdvGSWmPfS2A3HMkSUqQm8R9eoTZ+LFT0xetG+s0ZDV8NvrLjKSZnLsCi2uk1uriHlpgMeLKhIs5H2V2/3BlB2ZQk4bDuZJt9uqWWQX6PdG63u3qln6RO43y9vJLfxuYcpNJKRquntC2/mAtr3PWHVx0OjIF984f2jzKzyh7SQHFzvfuh4Zuebd2aF+hNNVl54k+rX2+wkNplA52Lm9szXU683mzjHHB2CUOmrqPeEWIimrxDNDlDMVb7mYtQb3nasiKsV4V88LVLS+55/XEHnLAOoICSUFvETCWiKPCHBczWVZ0IQA8EeSVbcSB+qXl1SLiSqohZHk7pGklWqdmG94QXlgmaSPkpKdPxSml6GIT5WT/YCEFzs8IZIkHUTZ83Llw7ZGRMBBZ/X5CbB++JA94RlKm76z+TCnBq7M4YnDETs/t4dv6LdHw+0h9koztQYWEpzUpyUHPmdCrw+JA/5MMWIqpBpNWsdpb7yZsoymVBK1IALGlOB10l2iyTmnrIDU8X0DJov1w=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1777037172

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

%DEPENDS%
boost-libs
cryptominisat
minisat

%MAKEDEPENDS%
boost
cmake
help2man
ninja
python
python-setuptools

