%FILENAME%
stp-2.3.4-13-aarch64.pkg.tar.xz

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.4-13

%DESC%
Simple Theorem Prover

%CSIZE%
774088

%ISIZE%
2948268

%MD5SUM%
75a27f0e6ec14521271be0b0f2b773f2

%SHA256SUM%
fbe67de96d2eb8c29081618337940ec91f18b0529f25edfbf840e7f9460d6690

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmqyfc4ACgkQdxk/FSvb5qZjBg/9F7oikTIadarBurgPOvq1f73eaCHDJyIJn0Mk6u0xuFyWIN9bJmKoEoRpSOoV6UGIwMsvSU41Ort1iGrvvZQKoEGITyB+a/R/E0HpncpQRc5kayo8l+dQQ/RhgvXttum2Q0+uWA5p3xEZ9uax65APIvoWAIOXu+dB9BM4jwM0MHFiY0Rwenio6Jviq99UH6RlhqSkKIG1mXtBe2NCNYjGL9Vv37m3GzRjcIhJbMC8228fcyI2kYJaULQbFLO4+8KfH2jx78dU0llh89J5RsQhN58ZpJ5iv+aEtV/EVCB5q0wfEynEqNw4SLXHh56I/2d72+a8K6wZjdz0zxqOrc/+xQ3P3A4/ipGGXARA+/wnCxtbRaLY9Pui+Tz1Rg2jEIzsCKaVAleBmzfE3BzQmr3Nm5u/av0JgfIDs1l/DjPOP6VH+sjv9T8mcno5viJ/aFO+N7nCvQIXR+lUAv790Sb8aetVr3yN9D5qMv/52feoD64r/yVHYEknGrHnGLxikRVJEtUCv9ugEy+32+LlTt7HdalHNwXMaBCAHYxSh7re4Gc+nzrKkMuODhdOPJAh8g99VRBoTyLEAk+n/nFMaPFNwjbuwuqyr/tA5TGdkl9XW2pLP2EBHP0c77/Cmm2r7gtSJf5meEEXnKCcEjeoDUdK1mwV5A/2Yt5gIpRfIZHQe+A=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1790082449

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

