%FILENAME%
stp-2.3.3-11-aarch64.pkg.tar.xz

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.3-11

%DESC%
Simple Theorem Prover

%CSIZE%
775148

%ISIZE%
2865220

%MD5SUM%
6112bfeea0090be39cf2d926d7271c89

%SHA256SUM%
a180eb7858bf4ecb134c421190afe532f00a5a9c262962059a3d27b40128d9d6

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmXFXtgACgkQdxk/FSvb5qYvzBAAgryj1RIb+zTJb1lc9SL9kP0y6F5ddFumEtR7ht4rSFnca5OcFt5OLnTaHZAARsmBxiFOUqURzQynEn7XR2+JX5NbePNFPwPhhD6gxNMTwosPWb60ev4cVHapkWI7ke3IGVuVWJoO3Rr/kR7d24UCvfzAjcOyqnXTYt0WqwPUg1wPtZr+EnD+OMTsAHyLANBi0mOWUNOb0MQDQS5MBxZln3xz/dnKXmYCZAqUREEQkcMhA1uRMEx6PX+XPdnuzFMr7axioyBjuXLwn6MfR+dHgprj9K+ct4DXk+twWBr0iCfl7bt6NlrslHA/6EB3DjzaVkMySNiO6Kx1rE5xLVSYhIgSjIJ+QXM7gARbiL2n67LNXoCX3+1DtBd0ct3KjjE5wnBb256Yvv5pfBo/nG7hIvAbKf8zD1noC8kmQ9fnCSsKx1mOolExObrC94hYNcdzqbNcUQBU7xn0ZF3KNXRqq+BPhOF3URFKp1TwpaiDc69ySVzrgTz0WJjhE9JE6LXlkvIlaNUOU1IFNAKSScLBWSo08sXTwrqFkI/kdP75/umFGZ4HjAFpxdR+FIn7j4eERvViOaHR+Z5OAQnDm/frSgcqI6yykttSmaaOw+oB5/98V/7mQgwMMukazpT5ncg403VklgEA+rU6bpIp7ivE1xBMQm8Ipg/gsGBGoc2J5NY=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1707433633

%PACKAGER%
Arch Linux ARM Build System <builder+seattle@archlinuxarm.org>

%DEPENDS%
boost-libs
cryptominisat
minisat

%MAKEDEPENDS%
boost
cmake
help2man
ninja
python

