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

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.3-7

%DESC%
Simple Theorem Prover

%CSIZE%
747908

%ISIZE%
2523273

%MD5SUM%
a3f6d423b7d6c40b315d01ec29abeabf

%SHA256SUM%
1aa3e2e20defc454163264583d1c5b8ef72ddc0e44e4fec9176cfcf19ec24374

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmM5+pIACgkQdxk/FSvb5qYcvhAAoUrrQR2JQC8bpE1CCcI9Xx0H+Pyy5uHsTajKY4yvf8hxonlvg5E0daFCpT3jpgULpCHecM2L8KsXQCfJhF08pA9JUeVu5koGH5FQMWh0yXwRtsAjIyGlfNviJt2XgcvgW5jWrHJWgadj8PPnMzZVJsyphYBre2R4RN6OwGvgjB9/xz3Rkn2/hJkQisECIIHYl6hfAnr1vAWUQdBJOrOsExP8SK2WcBgtpLPNX4n567VUMVpaJX7/4K46zsXWs//Ne9bR0NTz+2b2EpYBYpnRxcM24DqpwtLy5QRSliqvon8OuB1Q0VEcAERCHlJDripa8tiDPCFsASPgKoGQrGkjz5ghJmgP0gfR3tgc3e9dUaEQ+STDgT9iOXGKxAfxP0L2wVO2ALzi78PCort8LbkdtVq/GWPOyEpwiGZOEvxG/OYsJN1WcjeDcnVY5e6iRwhTxRJqOg4UsrCBcroiKfFnK7KkhuhjHpI/RqHqZsRoyLUQGapjO5GUpFB2Amo0oNbLKE5ZSdhRk6mY27M/yQbbxlD/jQjh3q68ko8YYM2od07Z3tArTu+rOgFSRFfKf85YeJpytW4sLaZsaegFZ42jO9bWwmliLQg4vZqpqHHWVFoQ2mzcMsLXTTP+YYThUay4MRH5VsAEzau9ybedNvzFiVarvv7iKQxIxswuQLG7qRU=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1664743994

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

