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

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.3-8

%DESC%
Simple Theorem Prover

%CSIZE%
773608

%ISIZE%
2861173

%MD5SUM%
161216fd5cb43f290a7862b0b496038c

%SHA256SUM%
11434ede56d46c45857e7c4c3e5a71f31107c25a798ff700d6645cbae30ff761

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmPOgsgACgkQdxk/FSvb5qYltQ//ffmzXXvMFYth07ldjmjkG3mMlXyVG0NJVd6ckWDMmARRSvAjsuZ+71TIjRrP1ZfD6YB8A6b2DKykM0nb1symHjiq6S5COgwGMKuobDcFG91Q7xeq79ddJIyxtBD8Rq5v80WWY4Q7iNujSpOo27clFg8e1CwGIzGhhr5lXsJKmsIdgitwNj694S6GxaK57H63IENP6vJgZ6h6Zfu4jEdj9xSwec5brbsVdK5p9q0JVSLEu0UHQgcvRR9eWG6HrP1asXzJe13w+RmgX0qKCu/pblyiyUXRzBJM3dG/Kqy7xT+wzXX7nj1F+MohaDDFdsRdWbwLkG9KREeKMahyAk1j1mMNE3LBE9sIcyhyTB1IwrxrCDJljX6KnylLJYxFs9EHDpYYHrYCwHZTzGErXSC3PYWMqGIMCwLmZyqTmF3IknR/g4zQomDuPmcu7qK/ag1jifVxUwAYnlxyT8uND0c62eTyDbvf/8mXyaQVr7UfWiHb+ktKsZOey0sXg9gzsCMVvhvUX2TT8ZUvl+q3yt5FH3xc+zXZZaG60OsmEBUeKyKWBoxHM1qLhZM/OxuIhT+wRvOOT5E+bFM8GbfUaMEAQjwIVWO2LvQ1D/GRjV0HuzrNYfbOi1I92ycPUBNvZWy+WIf0MXuR9hFS1L1IgqiyzAf4et88/Jt9RQTLbDj3SGc=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1674478222

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

