%FILENAME%
stp-2.3.3-11.0-pentium4.pkg.tar.zst

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.3-11.0

%DESC%
Simple Theorem Prover

%CSIZE%
1062909

%ISIZE%
3022969

%MD5SUM%
252453491e180d75a4168cf98174254c

%SHA256SUM%
cf4d90bf86a4c82bc3ee8e56edcc0d8ccbde84d8d14c35c2ea1a1e2bb9b31eb1

%PGPSIG%
iQIzBAABCAAdFiEEgOwYeZ6LzTdcbmSr5NQVaRlrEWAFAmXxVUoACgkQ5NQVaRlrEWBvDA//ZBHD9HNf2XiHHTeDceGJBQfnhBBsy+0ckU2ANATH1Q1R7wV9DSvJA39/M33P3OmjJE+6mI3oG2hRHbc8RDKWNIB7gUjpdvoCpk1efK1ZEwoZsf05KRAuRhwZMBBjchpzAkm9znB+N0xioX4Hl1PV+e+h3G+TArDSKTxEcne0LQvtgDUIMsoZabwMQ5udEL7TZGj7uUB4iymQr3dt0MfFSAVjhjcopgaWZj+P7qvKbq/28F3Vzc5KVEanQ0Rka/zsUoGlJH5XC42cSzRxLPqxE6M2CyaWWq/JnEi0xH4cHG1oSid8nLeldA6+9V5s0Ndk/XrEBgr6hLMW76vCfCBa8LXpuZmGVp8dP9i7uv31nKFp+O2WQ/uo+O8rd5+FwDI0uxx01Cxp2O8jczpn5S1z1ZzwCK4GhV7aCf7Yy19QUHhjJ9k3Rz+t6jIQe90l/4GKYMfMdbmQxT6NSKyH4ONLkyu+KfyzwtJWrQCfLm3w45Jh9tGOY9D0K7ZBdkPA3drf0e09ywEWzvhjTY9XEPaQVOPuLdtXcZgXTh47Ib3arf+wG+237NMPatbTp8dv1a9KYt9ZARKGoCnoGFyB/EDocPdJT1oihkriVQI2Uo8H170S592nsxAugdpczNgFLIuX63/w/XZXLNKy33luLJYiZt7gSvDUhzYm+7rwhNIOIOs=

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

%LICENSE%
MIT

%ARCH%
pentium4

%BUILDDATE%
1710314776

%PACKAGER%
TasosSah <arch32@tasossah.com>

%DEPENDS%
boost-libs
cryptominisat
minisat

%MAKEDEPENDS%
boost
cmake
help2man
ninja
python

