%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%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoEQQACgkQrx0hme8KPM/HXxAAvdIVrhO9AhK0z959fA6WEME0rEf4G5O3wMn3gyCxp+rcHGhKWdybD/SLuQ37i+zRstiauDQ4infr0gvNDK43sIXuYLWGuTg7M1Ab25OSSaSn/59GLwlDaNOIoHs5eqFXi2iQpj1inIeJJwXQrbOXboc6bIaL5Q9JU72zUQU7T5UkoSGrzRW03lpJKOCGXuR5XGgtKWU6loPFHMzKdiqoWfhP4Cze4o6o35AuexeJIUsDba4LblWYNZf+Ol+R4BuvZKmn1mkBZxspkj1NeP0aYGM0EoMHVP+ILTNQg6mddq6zk0VuaC8eh0ZVoVjV6ZHOlIhctmIln3z7QboimxzniGHyur6JOXYFgQ4f9qjGFilVTgjRDHyFP4vzU5KUi+hjuf+T5+/TCAWiZzxPjsds9+Sp5ytKH2XrOPGIJ60aAH/O5zn+uxPmLAx3puCgV13J2nCkk7dY/UCoXxfZZcSBVJf9xJcSJGPZt44fvX95lxpLeD4gngS1pcmlJr7755FepDYra6dlCCerxSWHh47K/2RygOiatpgECQErGVc97KULKDKDSnEgQw41HtHbMneLYSI0TyMqmYjBVA0HN4R4AxQoEY6c6OIZgWOMDZNG+B6VsXZkZRoUciFnieXgEEV0j6qWBthFu5q+24RP3mphfTXi+5KNKXTzZ7WQF0i7mEQ=

%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

