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

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.3-2

%DESC%
Simple Theorem Prover

%CSIZE%
724028

%ISIZE%
2432483

%MD5SUM%
9f387549b99921d2ff776a9305d42e92

%SHA256SUM%
d86b411429148bf1e38103251cd3795aa625bdd65a16d0e1840c02d8d6ab5b21

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmDC7vYACgkQdxk/FSvb5qZtYQ/+N/D9SBITrR+yFuG8VMjLwdh2CTe4z72A7fTlNSa0usJtCHU/1scTXpn6wg6xSfiHFmmPPSvIdt7JWK5nr8k/IHMMAWdWXOSDZM+5DCkbWdcjeWZFtieOq53B18Aip1T+tEKBd/kYOGbe4XW8PSqkJkyyzO6sB5D0aXF4bEwmrHShnKw4hwh92O2DDDUxnHfUv/WzerjS+GNYtZdwxfDdfQE04CB24g9F+EFLpmIzU2cNHgg0Viwyh/Hhs47+C/wY2YtdJ40NheQ2ViOwFXKbuIwU77R2DV4rtnrmNtJHfFxlVwzS01nIQHvGK38WTEHsbkM5QzgF8YKi+28cnOzKbD8V6g9s3bl/JZF34w/beKSvEuvSpTGUyb6UkYMTv8yy8+PXzcYRZ/n2T/U2gJU1lNj0ALqSBw0PopBaxqLVsyB0QiVgG/xNBqnXgk+4J9/PUbgWdyGDeI+Fn3ArYVjVyg3o3p00c/oYoLKmS5ubL4A3B2ZQvx6GXI037wWRyi3DiS74zTs1bVo3ObbkzZLcx3zHpo/TGwME/A1gHXT89VzcGtX3cbm7zc5gTXqzIdY4X4odeaqJy9Mk7Q4RQZUPBIc0E9MA7eH5q4iRISJlFVVBGdSSCxEFJCIktyBfYplx4Zb8uL/CZo67upmZ2OSWmSTFhwzYn8NL6PdYA3mMqh4=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1623387824

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

