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

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.3-9

%DESC%
Simple Theorem Prover

%CSIZE%
745220

%ISIZE%
2523269

%MD5SUM%
b00d98411ea2bac4f882e33de932be2b

%SHA256SUM%
1d8f87f5c19f812cda305b5083be7d551097d0f744e4cf6947368003c293ef57

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmRWnyoACgkQdxk/FSvb5qZ3Xw//f7efT7RGp6l8JxyMoSCEHry2Nw0EUocZS92VfBf+UCRplKo7cDQylJazODQNZ1jjYEPqBdmrceuoiJ48QMmhGgjIeDaGrzXgAwytlFOvYIHW+PggBtNRh/5bxOSF4bs6nfSd5DBbWEOW8WnTxGc54pBlmtxcQzlfrbqfqel7j/yrAg4PvjD6y39zBPchNWeOuFbeAnsaaEoHmcthRIXZZHm9mM6DxbFKrjDFjoVX7VvsZG7wo4i5ulGFpvtkn07sT5YITS6G5nllq9XLcEC5Bwb9wF1/IblUebUbTq7JS6dBqbpvWMDQTtMMEtpLQsEDhzwUNzPzNzMUiaHnlKAVBTmy2SMPiTr3mfvIRl8P32I24s8phuPVB1n91z0PJQbp/nWX3KYisneSDJRR9sCvxfyJ7avNx17K2FNs5JgmduQ0NVAjhqFtTsiq/rwR9JHMAMnmdTUaHh5It3HgP80xiXXPYi++wVV1yd4o9xi/J9LV/j3TgVDwiFdZsgtCQqEEk74QQLSgy75Z9eUvaazCIs8QvGCSXbeSIumN6q09Sr4XocjMJEcRMojeJzoht0c2wV+rCMvKtdYcgb93lkdARyuYGlYEs/E2ypL2iq8RJ+sK5+IeQv56hqE6KrH8LLZsmTOV4IPMGimLPhFGdYvWS0Nimlsw4/VS3k63fXjJ60Q=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1683398356

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

