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

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.4-2

%DESC%
Simple Theorem Prover

%CSIZE%
1114559

%ISIZE%
3054627

%SHA256SUM%
1d8d97dca7994366b983465fee3ee3b8e66c0d17c5e303614328109dfe0432e2

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAOsEACgkQrx0hme8KPM/EMg//bk90T0heuPiWMtrXyb+6P/h1H9kfGQIvWD9/R1vAqng3pEsxi3wRh9rlGKPmEYLKrzxHg/dYEL5+oja+VjQ0PmcBubWxAuw5uRGhAKLnlunCiDyFqNWvgIxa4D/cFewCWc62rjzZ6OoYrteQvlxPxGoLQypArAN7c7GUInsJs2H9njRYh2v3/9W4+T/Et0pyrrsZCh0XDu7E8oIhKCArWnbkKkowfwIyfs6PxSXVR0wu5eQfGhK15/mId6rGjgQ5xUGkETk/sC5dfg/Y6lwsWvuVqu/+4gNXWP5MWwL6zPfImJ/2Yt5FiQnm5zwuQbHHevn1+RozcYjqCCHrpwd/iPro0piwK3zvysUq9oagRBBwhE9q340AGz1jWbjI+GXrQbD/r6jZdWNPjDi2sYPVE/TQMIs0V/Nc0CDkbPG8uM0PzH7lKpSaDhfca4LfYrFNi6kkb6T++XK8rt63S/OkwQi7IJRT6Hce31plTvsdxYxjvD38FzC31kuT0vujcroyNToV8dYi7OzJgZ3QTYHywJrtEogPcpqCLEI2Wy3JKz4Q9P5Wb4sJ7RurpaFN147t/Pp1TIYehHbrMiOUlXvSzMTR78UUPb6esAcUAPnQ670ioIOuDO6/1/mNE04yEHLIHiow7LX/KneAYNeuXwT/4bOpCm2fJanFOC3yyITM3+o=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1731949351

%PACKAGER%
Jelle van der Waa <jelle@archlinux.org>

%DEPENDS%
boost-libs
cryptominisat
minisat

%MAKEDEPENDS%
boost
cmake
help2man
ninja
python
python-setuptools

