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

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.3-12

%DESC%
Simple Theorem Prover

%CSIZE%
744796

%ISIZE%
2523308

%MD5SUM%
5b01361aafb84ce1daa5ba212ab271f1

%SHA256SUM%
eaec7712cb8d92b3ee69a3c9c3c158a45af79be2d1a8ce6600fbb740aec96213

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmYzNPUACgkQdxk/FSvb5qaLPxAAnoa/SLdxMwkzo8TuttQS+67DaIL+9yQvHNSA+OtiwQXt3ihBcgV/Ignav2N5tzrdcjkVXfE70LfBaPBDmAEYPBTkKCZ5XMSpt/ofdSHS8BMtb5CjWX9MiZZnORWKOiUmcdIOm4e0wypRI7FzE4fh65NP1Y3w9HvamF2pw6k8JuTlHryHFqh6o+fmOaP23Ah+K1nfXND23sapvF9O64NMhKvUX6oy+rUr5sUNISApLp6NZSY/OSiH+9GSvFcBw3zHOlTA75iByuuafIQkd+zWA7mlr7X36FcgPPbSTlOZYtbPXAOqMzuBtTRnohfjchhmdFLzaUkya1qkwDrqWa2oygeUY3u1OV2Cwdi96h5RD4x+ApGTi9KdAR1K+uCh6wPoS8XN1lrvrmOttfyg69/KQwccMFNgjmhr/Y65hl9vCmW0Y98xX73dOzwYFFdoQG1vEZdnbTbYkHY1zWnHwjLFdhB5lI5PicfKVOKRszp6WF7nhOkUhARs2U6O2unO8a3Ynw7PKdvIHSdGJ/TH0fXvSl+2k9U97h/7tx4D9fSOZnXUxRUDJOTC+ibfm2Uo4Rjd9PkH6Mec6apUB/pG7kb1NlashLQEQ+IpyBV3fnHHvIbh2c9pC8k1MCckNNjwHKE5oNWJSCDa3nITy9H0R6497aW9kHX6fHJXwYybD0ggcX4=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1714631823

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

