%FILENAME%
stp-2.4.1-1-x86_64.pkg.tar.zst

%NAME%
stp

%BASE%
stp

%VERSION%
2.4.1-1

%DESC%
Simple Theorem Prover

%CSIZE%
1272752

%ISIZE%
3426946

%SHA256SUM%
a7024e1e560e0df1e97e3c3c9b205a602e6e6c2d2688d9415fd04a9f2e994625

%PGPSIG%
iQEzBAABCgAdFiEEFRnVq6Zb9vwrc8dWek52CV2KUuQFAmrCf90ACgkQek52CV2KUuT5rQgAja871KxOEmd9y7jfSOojR6pJSUZDkdivjtS7jAQdooCF4KQ6gJcRONWD6zfzk9jp4As4pwEnBbTr2YOhdyRiaHVhoMyiHQYqCSvZ73GTXItekcSCJZDJvhvknIMqMstIpHQXEtrTcDfLoguWLxbVl8IBR8eX1rLqFX7yOClgrcKk0hwIY4gEJPDPz/zUqISPSJV0X6Yh/07a/0nkDmbOkshV5dopqGSY1kz3oCKRLsnNzbXyM+BEykWDhf7yGLEbUjCqwQnKLZeQsLuXQXtYQjeLV0O3C/pAeKU0d84D5OeKqomaMsJM9V52NofnrLl8B008LBpFGNqwlQDPSMcT0g==

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1791131541

%PACKAGER%
Antonio Rojas <arojas@archlinux.org>

%DEPENDS%
boost-libs
cryptominisat
minisat

%MAKEDEPENDS%
boost
cmake
help2man
ninja
python
python-setuptools
git

