%FILENAME%
stp-2.3.4-2-armv7h.pkg.tar.xz

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.4-2

%DESC%
Simple Theorem Prover

%CSIZE%
766780

%ISIZE%
2568903

%MD5SUM%
ea33524fc47448b52d6427b41408a995

%SHA256SUM%
e74252b8bcfff4c349f5f5545ea0b1338c46d45472ffccfcd25d5128be44b3ec

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmdriP8ACgkQdxk/FSvb5qaUaA//dzzr2XTV8RcmnHHNPb0XFEfwpEi2UtPhRurFAgGRImlQQRlGfQEb5gqkdoY7/4B9MbCyxE4q3jsQwPIbYGfXwIJU3gtuTzlELzvW/LbbGJxqQhXKVcHK/QBSX5CKxzoFtw6j1fVFTTuv0yp/AMytdXzRlH35Udb6/FmMxZKciYJaiB3lDSxfJ3hYCuMnUcq2fTeQUT91mB2tsVA5D1DDxM/oN2FYDxArudtD9+cjlSn1XvZs/Fj0Yaj4NWfYlrkrGsxNa6nErCf7JVIsqKNftTetO2j+lFR9cWeDcsZ/UW9ASJUkugioL/3PAsPP3e1OKr1a93gOZ0ECr4br+jREKmCDrs0Dwp4knWKgsWouqIKR3QtUDZYaToQ5x5mB2edob7L9cuLB7s62rSaPBBnk+Y2x16Tscf53IPF/TsqV4lYxpoKMSGsQoV6k9pp4iGjn0tC5sZiwa+Yl4c6V2ahQaSeRAYqfnB8ay1ZFnEg1s+FX/Xmkda7AQNE359NYufNJlgkUjqYY0nGfhP24TPEbDyeOCBu8wL3lgEmwgFw+tb5ibgsoE8Xfx63H/dbJyo8LfmtBoQQMfHCSZSuzOHOo+4tF5wx1wuyD2L83d5R3i0OvUzsiE64zk7zHYkqeNaYk4Lw3xaCxnyEEZXSPdFoNC1h1lJLJGE/Z8dWIIUVzPe0=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1735100583

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

