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

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.4-11

%DESC%
Simple Theorem Prover

%CSIZE%
773704

%ISIZE%
2948268

%MD5SUM%
315b8f640066ac815e2bc9ef0d5a86b5

%SHA256SUM%
497f0499ab98a35d8e811f9c0ae501cb825c0985a1777f8d585388dda80276c8

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmqGlZ0ACgkQdxk/FSvb5qaNaA//f/E2G6D3nXyF6LTObfzghaKjVhPQq5mRg+hyoxPh2cGXkHKuqbzZdl51Olq3QPr8YysRhmwx/CrD1Zc7Wuj50PdZoz8KQv5mBB5OP1MyhiMA35EjZZ64RQZRgn8VCYO9nncPRsksN3CLVwADydgMN1OhUx0ITHkCs1sxIIyP8sF8eI+/zOdvqyuMyoWRz8ro+m/F7CBfd6YvDq8DdrkUeWAFi50WrP8ZM7vYAz7BgZ7wR9wLRRmmziCYaqaWJK2Xi87FshVBdqPTqm0sogN5aZB1J9YADrddD3idrvd4azUI7WHyHsPc81lU7vXKm9UkZhl+S7MTBTgT46RmH8/ygA4j3Mh4aklWzK7R8dpJd7ehQO3vXHDL1K3GXW6JRVJYh06ouZcfaSoPPgratiz/hqP855L/u80lEDuzOdSUCKVqrd3hGXex1l8rEr7iBgRhfsj0CXi4bor6s7l5AjHH1VB9Mx0JiWKVfh08NLIV9cSN/x7IyKMO3jM6kzHpksV0QAQgThThU9/SOu0FMcKOW7wSyqYcp+8uAvocwTUOH0vpBgoTJ5mOy10OTB58XjiyNxNbAdZ+MkcCkNAS1XAA5WkVPmgvumVUPuh2+l4OnymiaZTPMX0buBQe0s8ljVw+Js2oDnEQi036YFaCfAmh37/uqH0Om8+d00IVQwI87gw=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1787204959

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

