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

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.3-10

%DESC%
Simple Theorem Prover

%CSIZE%
776468

%ISIZE%
2865217

%MD5SUM%
8e99b136cd7f1abafc8a53ba21a64f46

%SHA256SUM%
f89999629cfab0f49a6e3a0cf0fb761a6571f043890d4dae3eaa9927417ab09a

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmTzYkYACgkQdxk/FSvb5qbmog/+LnMMK4J0OMlV4b18cZQxLNOtyu+tU6xU+JNq3YCGzXeWcjuIHfAOis50Bgi8eMDx9vD8XOyrkrayxfMW5Pja0yW/c1ytXkcA/I5J5dS8XPk5nYTxMVNZOPK2J7opndi/4xRfwVMadUQQqquecpW4F+URlVhiBstDFLB0u+dQa4jyjlqqW3pjHvr4QqRQDe/N4wIV5BetH41ONfV3XGJetPQqZnR7MKLDc0QiWNY2JrKX2DcfE23jIYjIV6l0sa+81IJ7bjOBfUOJBuqNxqN3G2nYPLwfmKjazaliedq7pBs0iKRr2l+ARkJfW9RLrqZGXA+8m90ben6L60NPrhSSbI9N1e5duqlvBzZEEIZ+NOWttClyF62kE36mXgN+dIEHhpUnJz6kj4tiI+482OUR0gveDPJw3CzqvCUwwZSZ0Ll0xm2cBvwR6239GTICqoAhXzKfdkRVd0xJRGJ+GZpnbs8EFIbqqRzTrKB+J+QBenYRahZe7NWQbV1su+Q0MELdouy6yissRlHxnCtgEOJIRm+RlqZAWRVCchga0YwOtfwoJUXuva19i9yp/6G7FpofSwurE1DNzrgQJaz0DIfCJVRra7BdxYsZSSoR9gfwk27jFfyCdoQ8gZpq9mIpw8eeqoDWME5FxrHU1jTNg0pr63yWtA/YOsf8u25nuo6UHr0=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1693671945

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

