%FILENAME%
stp-2.3.4-10-loong64.pkg.tar.zst

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.4-10

%DESC%
Simple Theorem Prover

%CSIZE%
1120191

%ISIZE%
3471931

%SHA256SUM%
37dbea9f7c6eb3373b23a63673bf8411da5ecbc18332003a117058ecc4cfc7e1

%PGPSIG%
iHQEABYKAB0WIQSmwC++cwzUWFm5RuFcdK4XC9oUMwUCaiDoTgAKCRBcdK4XC9oUM+D7APjzr8tUQQU3Ichzn0w6jEUEeoofDtW4fVcCsN0KD65lAQCR7a/4v7JEz1iQ/wZH/knHK1sz5PE1UR6VjjJhfK0fDg==

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

%LICENSE%
MIT

%ARCH%
loong64

%BUILDDATE%
1780541413

%PACKAGER%
LCPU <lcpu@pku.edu.cn>

%DEPENDS%
boost-libs
cryptominisat
minisat

%MAKEDEPENDS%
boost
cmake
help2man
ninja
python
python-setuptools

