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

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.4-5

%DESC%
Simple Theorem Prover

%CSIZE%
771328

%ISIZE%
2581204

%MD5SUM%
85d373fcac167f0ee47055ca3aa33c6b

%SHA256SUM%
ce880851d1d090a91d9c67229e5c957c1c34d7f4d515f2cbc117d0cc90350a6f

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmj24SsACgkQdxk/FSvb5qYXiA//UOS1+NGcDUB8+mspoCYByi3Lq1Q15e8Kq+pX+cpHtWK+5asjVupBEppq6JCSQ0yk8QLCpZuX/7dKwzhY7wYwapT8ntkTf56Wdc76Tfo7ikFnMNjKDXudd8f3AOTayS2nsCFIGzDUOo/CG4K9fr7bh2M6KvDwOM/S4S93sKxGiI/AKPLxv1whNxUcSGHoESq2L7+S5SpjQAx5TN8+9PnKjOeEnb0P0glWlXB7J/02XyDcYY3hDEWOX6zrmBf5uhEOMpyeSR4ma3CtoqqEKa6zEb5tk7s9wSauWBMq7kNndFxpYg81iKgfQR+y/L4SJOslT0kRXI3Jb77TdTTC8evbERMLCmMq/7v/Fhx70IZaI/yeh6cO0GgNlgGwvho3CR4a4x16OULM5VAEpKfXFaNHw+CtWPIrYEh5Os0HST6M5T4J3SJqcgBV319dGzYgYQWspqPp01R/wmP8Gxoq2I870r1WW+J5MXtFJm6pnUP8Fq/t2WhGm/9Vl6QGDGnUOJF+FHwIP6BXUEXceTuhAEFeyZbVGIq3F6L7dIzsqOW4zgKH5Qr/U+Uoko//brFWDYd+qYFVDuMCC74cSYYhjFnjWiVNF/vRATBNKfFrt4YrsEmANXYZGaJmGqn6zkPnARkJXaYqoLLb7pjw84EoDUqDgojHn9nx9ngY91XYJ1KdK20=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1761009871

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

