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

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.3-11

%DESC%
Simple Theorem Prover

%CSIZE%
1122326

%ISIZE%
3143873

%MD5SUM%
7bb9e4a3d0ba9d432c34fa826df5a2a5

%SHA256SUM%
324ed8b480f7a9197d059f7f6d8babfa5ef58e8857b8d9b44332d70277371359

%PGPSIG%
iQEzBAABCAAdFiEEFRnVq6Zb9vwrc8dWek52CV2KUuQFAmUNQzgACgkQek52CV2KUuSKMQgAnx8z+tko/kHCHIBnrKszUbsEY8bxyOjDjfmgrad0UxCusJsHTxPIFRUUFpnyVutKGhj055iRW0ms/4RJ7MJi/k790HUqXEKwkQBoefIg7ca36SHJlxRrh8WMfsAEd6im+FwbPIFsU6iWx8+jp+j/fQ3bLvazednVxJPdrd0NX4lng9rWd8S+TFgGHtESZVBLzYz6c1kvLv8DsocQ5UaPMrArzbkiZ5C/EFYuL5+m85xzNM/+zyU2myFWESSVN5mL8tJMmQPY/FOxah043NC2hmyp57UiUdjiDEBxDsfPffYlA8UPsF74wYZkUCHPjL79osPFJwyPFTM87+wwUyY9BQ==

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1695367919

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

%DEPENDS%
boost-libs
cryptominisat
minisat

%MAKEDEPENDS%
boost
cmake
help2man
ninja
python

