%FILENAME%
stp-2.3.4-9-armv7h.pkg.tar.xz

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.4-9

%DESC%
Simple Theorem Prover

%CSIZE%
759576

%ISIZE%
2552591

%MD5SUM%
621fbf14f675685446b5296df303d090

%SHA256SUM%
b238705046aa5765a9e0fbfb13657854d4b72ee4d1a1c26cfd02a0a6cfc7cd36

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmns2kQACgkQdxk/FSvb5qYPgA/+MNes3KxyKTQ+tPZcMY19MwNkooFRXpmsp1dQdh7Rw7/5nQKZMDpijFX1HY1RlQN6c+wDHnSkA19rFp8+wy+hDPZLYayG/WL80+IRJi1CfynBlnhMH3vm17Z7rUsUcbjNaTIzt+oCrRfOZhi/UujTH2yY9RoLsK9/eqkVo5DmyMTGMrSnIbfOuZeZ+gJcqfgae3MG3E5jGonrl43QNmPMAGuEYMrjcE3Xo25grN5qRsTFNZcN95pu2ZA1E32MxnRqLAlQd+BiSbUfl6ZnCAooC+r1116W1fV1Zpa1krZ5Gr8Xp+eZ7u6DIMC87OkiIaZFIqaFPcZrAtf09unwna8+A9w294YONVXop+X/GhCo+Xiuw+qTW9Uo5wLvyRrrMD82+kBGnFDhI9D0yvoeSBVDsNR7dUxrrwne/kEDs12diA5oQPgUsEMguVcQdV7yfCqzx8/t0QzJUQ8WeghXeXY3ezcfdlDPwLt0mTR2IElvs7MgLqwznL/qC1B9/W4SkEoEld4+ux8lfrPd8IfIKzg8Mi/7Jkq6hI8g8Qa2jougpgS5qTez/a4YuhtVtEFNVHnMQETuWGuX4dLVDD+NS/MTVdOB+K1BlCtZXkgjOnuEBd8r0fQBgwGhNbfDzawjPNlE9dA2gzwhpCEC5JcuwYK66a/IEJaQYvbN7+slTH/TwoU=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1777129930

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

