%FILENAME%
stp-2.3.3-2-armv7h.pkg.tar.xz

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.3-2

%DESC%
Simple Theorem Prover

%CSIZE%
724532

%ISIZE%
2428399

%MD5SUM%
9e5dbd3dcaab837b27e472f1edf62d22

%SHA256SUM%
1f52bbaab1f4a788390348229ff0e80f3ba4d0c0a1684daae0d9ad9e9b175cd4

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmDCyxEACgkQdxk/FSvb5qbNKhAAgrO7ZXxNEJYvzEfTN+qNi12CCDEEw8FDHLlrUvqrriBqeCI1Q1jmjWa0892kp8XNN+GXgI5/QAzG+dgIrABdk3l+Py5Ry7UpvKU3s5UT7cyb/MWEqnk4vcicCaKdwKv/azu3JhCdlhWrhsFrdVDN6+RfWGokHXpfvENQ2X6MhwDGPG8D2gcWPELK6uUMaeLBsYel6T7rcfDyYXCGJpcN2A7ZEbuDmpVXe5tROKzRjYDq5GgMnlI1VaXttU6gYpm/E1dcnPDijgA2zWqodSp8Y0iz4dEbpMZZydqTpQ8JC/rrJnvlHCHOwSIazCp5k9ZzhCprcvSwQeoX2dJ4OIGYDt7ySAksOlSC/NRoMz02bgHmsDtyjtFBVWhkHDttCxr3kk4clhIMfH6Zj8sP9p40D43UQQE/qQTAhsWRNmzcSduncGQZt46RUZHxXgD06eA7NmfLXxrFZS+NTq0UdNPLdc41ANzk8rR0KLsy4JmOXMwwOPJn5LWwPonAZJFPyjxMdbazSAT3Hk4GRuWl9AgtCxK4+nTqvdz+n+qTN8tbibz6WpIQuxbxqKDr+Xe4HdF6vceAs7Zj2vBc6hJXXI+rrVJ5qXIt1sck+WYa5gt0nZzqpmjywukii4y7pjkB0Kdc2omba6TL3h715QoPfy5PP9/OY8GBt5dUGHhz4Ra98nY=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1623378636

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

