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

%NAME%
stp

%BASE%
stp

%VERSION%
2.4.1-3

%DESC%
Simple Theorem Prover

%CSIZE%
1096844

%ISIZE%
3882264

%MD5SUM%
2f7bbc60f9c513e7e4534f1d51f056f9

%SHA256SUM%
34db9225f3763dd0b458fb64be95942e8c68ba0b73ecfcbf955881eaf779ba59

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmrwxuQACgkQdxk/FSvb5qZU1w/+LJXuBM3KC8bUq/hmFsLUA/82YIT2Jeg4pv771AzBTWnRnKrJbd+aL0+Ejjif1XYWAqSy72THQMrOR96SUNvZ6VCv6//70AP/N8Z4hBrIelynv2hXytL7fpeQlSmEZYFcxddzjgOBgfsQ5CABZcOJiEQHrxcIvDvj8+L44rM5xPocKCiFuaSTLpBUDa7+uMsreqAkn0XZzRYa1CmrnUroq0s+K+8QZvGCOs4pcTS8RRKiNxAcP9TkIyLLNtjoowbN7s0laF6PAXc6yEAyZo9ABTOeCBADyJPsi0NeuqTBgsu+aQgN94B4WARE3MtpKyDjtq+wuPJfeRAJvCzLvzrtxYZx/JHuuQcormfH3mEnxvnBylSKK6sKMuBDK16zQHJWcKug3g1/JMFbMDh9xB57BSbznPYrEZb22bneGiIZZa/KmIxgom6jgSdPB9P/xH1QoueyXJgye+kWD/RYjWLtaxQ7MBgtyS1LUerKK7oZwzGldn3cs48bGJaD2m2d/nl4+DeoO9kZrAk2jiRW+B40I43ecJjI4HFrFANWg3OYCzPOM+NzSxun7+I52OZOeiwQyTWO5ssQdwqMqfCCnM4spBFU+scTTcVnrIdamj6wWk3dXNPQBpT+WfPywABBhUGz0/hGsmrMIWOjxCa2VAbNRMtEFMhDnFdof2ZHyt031n8=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1794164259

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

