%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%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmS3CswACgkQrx0hme8KPM9Z6w/+Lw3KfR3J87XuX1vWYOGvrzjY5DjaD0xUsI0utyqz+8Zv/+kHP6MtbQ/N+FiAW0T0QcbAGrQoAkpRjBsfdL5Ex7QhDHb/MGBqREJHjSF1+/hslEoE5BSAWsox5YJY0io4/aPbtpqkPMBVK79be7Mx92YgnMJ/lmwA67HwC1b8iFX4+9ZyrqwcBUA+uSeJKocrtvRiZMkEB/TlIgu6qiWfRPvTTRAs/O+2CeTo4snIFeWXPQo44tMR/8BoWczufsEjKcxFI9g2iQjnXYZ/C+mT+6cLHnxb2CelLf1DXlbHZb0yhw16cYgmJACvibZAHZL3hu8XH00pOp10R6VejNru2kTDTsKH7dCrHxFhCPCkArItti9Nmbjup8dvW3GQlij75VVzAVG60z+8s4Fy0i4Acfzvr3SnudEyZDBZDCkEUwqCUCSmhHHH2H7F365XwI/SYjTji39s5j+GaUf7DW7nSJJX4YTz47RLjpQEEQYHsruMjVEG3SKmKzmkBkN1DDqpkOKCdnn2WFVmNDrDavWqvUmyY56tj/76dH6hqW9zmHIlI/ehqEPo/gOwLNicg9aSb2bNcb6s4zHR3vwrWSRMLdWpaYcGKvW6tvhPEgi0eYapMJuW3ld6POPNNI2wXixIBWdU4xfdpD0LGuKf3mSYAXl8xsv1AViQZmyM9o/bOuY=

%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

