%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%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmG8LwEACgkQeGxj8zDXy5KprA//VZyizYK3rzUt1gS2tON3nzS6//WEZyBbViNPASPMhDkywEsfEfOc6eniY0gky+k8o5CD4PiNuMkgZO9lkf3W1tB8s6brnHwqgiPG9/yXJJPKTtAl8kho60InagB9CorGiXmvzu6OlWzQ4mpTYYU1Y8uHK39lsQmDZRTR2lcOAfAB5Pf7VYQBKwG9vezLF1Zc9IxFTS06oWuBeJ9zSxazRKTudcERZyroot6eEhZMStf7JzMQ1itD6dpFoniGLPThXfcjWwk9sWm3gGz8O76NjvRxXB11Rz+skyKwODQ+ud4fGIGutPRVug2EObJbKSbWVs/fwKjkdVi5ap/SvfLZqXVKeXh+Y7QU2ur/e5Ri54+tG9UymuclRqJJihDCUys7rSKG09hLlrCRChrBF8AfDCDEsjPcJVAC6W4e7vIJ3PlOB9PG3Sx8HDwNMsok5yqdKBme9ut8pfqbaEfZSww2eoST+ug0eKAG5wqFauPGYYHZ+ZGrE5YsXXpiku9PtSDts/MCK7QoPY2/jooS+z1CnaOz/qDJd5lscokcBrJRZ+pwhvUaX1LmYQBtxke9mXY8vOTqqLh800tFVsZB7Meo6ersJBNniz/hTWpHUE3tLibP+lKw2/XoeAZ933Mbit/UV0y5vjM28Saf22/oLAsH/O/z5+shOj/ubgeO1oabuJw=

%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

