%FILENAME%
stp-2.3.3-4-x86_64.pkg.tar.zst

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.3-4

%DESC%
Simple Theorem Prover

%CSIZE%
1106495

%ISIZE%
3233041

%MD5SUM%
10fad4bbe7690d0e024198836b537bd2

%SHA256SUM%
bf485a3f2bb4df0b9c09fc0394c34b3c4952d44f28dca5be5a272f83803d88a4

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmNhOdgUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwZQBBAAsUovBvanLzZEiCgAXr4D6UG6wKQrGEGPrOw48zPQptUXLCu320DAIo7i0EiOAOmwcMgvgNL/A4sJj2HfnDVsepMRw+8kk5UVC7O5O+Kt+HoWr05+wqxqJ5caUOrpM+dps+uFZ2QB7eYloHtYpAoG1xPWrPBHWC1BDzLkpF2iWKWsai1g472+T8sDgvFpfNfg6HROTHElq95WvJ2JGouxOHpxwAUPWGZTx0EOQ2LLpxiCSYd7TGWz6yhioeF4l4chZgNu4A2AudM2xndzmoLQRoMTb0K6AgVu0hOYYhYVthfiYE4y5q9qeWtLrzU9iBDGkK8AdKgAO13M9Djubz+RuELe2tf+ULw8YL1dqfcWyYHm0lBsTLdIl7KwxI5shd1u78zLP8AtnGQxXEiUAQDh+lDOhyM8V+Agc3dRKcbIGpwEUbWQ3vzQvqQYuHNHKq/RvocvCQR9bCJuoBF3PPr++xxg95OTOPggopEi+Vqz4fdmMvODvUpuYdsHTfbwX4Nnc27tY00ZUDAacKLtlh1SkkVeJCv9iUV0AgPL/SiLZJMeQC4GWFcRVFeT4Ovr5BW+I0RTVLEpUgMZyWd+SWqO3FV+BH6hq/1hS3+rGdt71xrHJ2adrUaF0tzgGFLrhYlmFJ1QD1TBLdqKcWe5tHLVT2iIzfE4EqqDLLx+sE1DX1A=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1639722658

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
boost-libs
cryptominisat5
minisat

%MAKEDEPENDS%
boost
cmake
help2man
ninja
python

