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

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.3-10

%DESC%
Simple Theorem Prover

%CSIZE%
745024

%ISIZE%
2523221

%MD5SUM%
df4c21cfefa60463e43120d8b30669aa

%SHA256SUM%
b30f074b8fa2b5127d57cb156ba4addb0805c896cf3cb605a7f59886e0de2534

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmTzZrcACgkQdxk/FSvb5qbj7Q//ffMApHV9DS4JGuFfLLRI0eRl+Zt4ZMmInqGlGpH/TxOijabVxvk5X5yqdd3+dDy0PLU/oojWe9uk1ri4AvrYPAxQclIvrXXM6rd7v/qLIbwEQdv41oRPkaQrdvS9jEXvZlZa5PbNZaUpy3RCeOVH8vqbl4jupihQ3bdrrkPsmlZIQagDNfTVqC3wt5N7CFhyNwkDnkb4u0Y2V7UvDOtQv1+G+YeuAh0A7huev9BGla7W5EA897M/unc6v4OLdWhOJABMuk3E4kOLGNDMD1VeaIrK7IyXHwh4XJhAKmnr38DvKD3+0GOlUip+TLgPU+9KB6f01u3WvpgJhStTV1yN6h0Dk8L6R3/w0FwWXVQlnlL9ObadhDNUJo7rzbOz9e17b7j0kU60rAfO4voJv4DaMMRYarCLOiosh5WJ5nnBCdxkpOhu60eHX1a068YXBkDGGRtmSaaxTXKCLEAPvNLUotzxmSk9qQ+XAdSjXKDEE7CoVj5fDvZOeEK7Gr1ectePoLuIWAmcqzWTODQS/no11ENp29xhfkc2NLNyt6L4tBoHeEjXmWO2xgz66BrQA7OVbBzteMFKcoEEuKlc3i+JAppcrqeLIcpCiuyITyRkKw1u3u3wPtXDAzgnxdtm+LInAM7k/I/HL2hM/Ch/C/BAXHMQi84aX/7iBlZNjqCP/PI=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1693673043

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

