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

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.4-11

%DESC%
Simple Theorem Prover

%CSIZE%
757552

%ISIZE%
2552520

%MD5SUM%
f281242418813a5a4a3721f393c4dbc1

%SHA256SUM%
0ee62cbc8bcc639685da3cfd1654833eecb4627b74c70c6b0e6e580d17c91c17

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmqHH8cACgkQdxk/FSvb5qajaQ//ZFsHmwO+PKcYjK2lNN/ITppK9BtgYBnL3/8+AFXlBJfohVk0HcEilwui+47oG7RogQEsyEZ3eUkgvhk6Nxzv4lsWupbGLzCDYkStXNzn+/PPG+aqQI+Zn6SAm7NkPyp3LJ0CDDUTGy9W/9wwYQ4Ek8qf6xp8xmJJk+FbVcAdV9HA0MvXI6yfttNjxoMXPyUh8Np8VuUBlAAKM5lymeM4tBAkipSapjMSQw+EueYBlUVc7bweyhpgc+H6ezU1Gt2MQBRzE2wmWuypq0MiGs+t1D65WEXlLjvcYsr9s2QILeI0ZQYCQ8ka1qO3rt6M5T5fXK13Em+74SyKuBGhgTXXqVwI3cEI0pxgWodlAlDbXH25QDlJnbYdOhZeZonqo8MfH31ewqAN+6S2IbeZKu8IJDVNkd/xZbJre4FkhG8jPNL/C7VejfkLtKF7F4kFdzaQbayM0QvC8TLK6OPNeIEEup9f9Zs5qfavltgVyqieJwojJLncUBMiZo+NwUQ5ga+nQP81QD5QyRjDS/pnTwDBg6pg9K4AHCdY8N7YucUrmppvCX5Tw/I0P0NWLb3u6CznVPh8sWJw+HgqHzd1nqsUAZBCMmjO45/SDD1Ij8ZCKeRhzbgfs7rVdoGUvjq6icwIHtHsxGRD3AehGR8iJzm5Kz4ive6fIpEVcadaMySKt7M=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1787240265

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

