%FILENAME%
stp-2.3.4-4-aarch64.pkg.tar.xz

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.4-4

%DESC%
Simple Theorem Prover

%CSIZE%
797656

%ISIZE%
3013313

%MD5SUM%
6da58226ba3a9994e103fafbdbf7782e

%SHA256SUM%
ab702e99e3aa57ef7eda48b31d910ffa378966e1d9195f4431a7ea633b43d7ec

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmgVjiAACgkQdxk/FSvb5qZEfw//cfLk8LCuvDz/5KniujsyDDiSbUG0R7ezDWHLbe9aZKIWTTxpoluEz9qlW2zNzDrsZdXXSegWB9VDbwOYTw7ycSpV3ckTe3UNCSc2tYwxynPDkOJsvDaq47M631YQoQZgVUr/3Kl1gX1wrO3hnxDGUYuhbKB8x/Y0VLX73Ug4acI560STiqf4GehmcWE48Nonao6+XA0mUuzHUemlJyf6AZEoFfjpGfURSxFYicxcbJiQsKrdmI9LXSJ0f9WeRJwYpjezlDVjrsObmAsUNx+eOT04QiQdZpfIH+f/E/MYs/Th/mTVy2FC081aLs5EZtlfALIlt8AjAqX94z5XT88ABhdbv0d9LPfTRccg+i99SHG6uIkFf6tQhxkprNbBFQi2w3pjD2LzDp66sYT5ChFThbECQCS8+kHku6Yt2WfSb15AVyumW4zgj6igCACBMNea68NhPy2pct33eWcXz3Z9xnD19ZxUgaPiuztIwJrwlYDaEiZ0eLLcPXs4j4Ag+RbUVoInW3P6KMob9szuFQofTBvHPnWHPPhefBrELQMB3GcoSSLkaeaiq6WLwvVp0lk2XdwLAPyt+ZzoltlgEttARZ15Y7az0GIlyge5MEeZzDoXAveuNmJJiZaHn+yWIA+u+h2dkCA+3SnYLeU2dobJXirjx4s+zBtwbAo0fxM1UBw=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1746243020

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

%DEPENDS%
boost-libs
cryptominisat
minisat

%MAKEDEPENDS%
boost
cmake
help2man
ninja
python
python-setuptools

