%FILENAME%
stp-2.4.1-1-aarch64.pkg.tar.xz

%NAME%
stp

%BASE%
stp

%VERSION%
2.4.1-1

%DESC%
Simple Theorem Prover

%CSIZE%
1096796

%ISIZE%
3882266

%MD5SUM%
71197fa8e14ea0f5c18e16d7b6cb9d28

%SHA256SUM%
ea258a9e0aa3ca88b999177a92e6a0e1b0e2c4724cf2676f6bd475df3af3621d

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmrCknUACgkQdxk/FSvb5qaVOg/9HwsDW5wfJWG4FZMu0/a82JYZ4SIZS6UWfVVXSIdhUANTUKyWzFzkwI4dzrJjNiCRf8GymQYUVF6qdyTKwfX1nWMFLT7pcOUEn5clB2DyTA+7loirf1OgFtWU28bBny+C6voh16ywKWfBdBOAMzG8PsvEGqC/eNeKKh71woIq8ZD1mWdYkAIedxSFBexRfR3st3YR1YjvfzbrdmrlTdknDyN1wt6j7jtQfQAy7Q6KARKd7x2oe+bw1LQynfUddI9mgVHOgYkJR5nQT/uyzOlK85U6YQbvFXe6q9G8w49G4649ucY99sAMcPlkQdm8E7JiYp3Xy7G+hBsbWOHwFxR5FM7KmcojvP0QqurckquKK/UQ0Sf4lb3sLfDcaAdXFiacrIep2rmEibNZ5KwmCSdQh6OZoAt9oMnFvgBgkOdVAKc8Vh9Xwg1s3xYNqeqi/tzr+GDrege7NVqrTTiAKAtL8fV4AS1wopyGXny2cWS77sXYWb/9akP47byU38u4Mb+eDSE9airy0RBQ1wiv0YMiwiRJygn+vHm9ilmfEdwHfJxM+ZnqW0iCTqP333iYTz7fs9gnXVoQnroTokzIsu9rkZLqU56ISHi9k8pQ2WbVYX3+/yO/xX2qnvEsYepOLsemcGiaBQzzlLSW6scC8g31yuuxJiYYYzh/MwmduQzQds8=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1791136175

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

