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

%NAME%
stp

%BASE%
stp

%VERSION%
2.4.1-3

%DESC%
Simple Theorem Prover

%CSIZE%
1272803

%ISIZE%
3426944

%SHA256SUM%
40cdfc40c70da5886d3b6178355c7dc50488076da65b515dd3da24e67b3300bb

%PGPSIG%
iQEzBAABCgAdFiEEFRnVq6Zb9vwrc8dWek52CV2KUuQFAmrwspIACgkQek52CV2KUuT/1wf8ChxKYXmF98W0XWrIskvEPeQNtId1dYDJ7q4aUa9zdb8F3MP54YJpnPKhFtgkJ8tbY9leVyhFhkWOQtaxNQ/24DLAmgU2NLqlTnc87VmD5Xzg1D5Lc6YGKd55mi40A5PTmd2mIWULjK1gmy75GGDLj1uApVr3TbmSrZVgq/S7/ZPcbjAX7JSSPpVE9OXaS0bV2zib5ysu3OYJfHHnh95zal9+/wasDISQn5Z9V7IYvg9c1sadJOJFBs8h9ABhEeMFGJZGp6o6iVUFTF6WemOp6a1fbQXFbeR28TrrZJjPwn/yvt8F/W/A/sk9vZjoyr+x1v8GMqyXSXCMc/n6Hmf4Tw==

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1794159164

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

%DEPENDS%
boost-libs
cryptominisat
minisat

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

