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

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.4-9

%DESC%
Simple Theorem Prover

%CSIZE%
1057669

%ISIZE%
2685859

%SHA256SUM%
ff9d37ec02a1f7f465a37eb2860cc6d2b7c2bac6916da40fc2396d90af4b6f3b

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1777190559

%PACKAGER%
Ben Schneider <ben@bens.haus>

%DEPENDS%
boost-libs
cryptominisat
minisat

%MAKEDEPENDS%
boost
cmake
help2man
ninja
python
python-setuptools

