%FILENAME%
stp-2.3.3-4-aarch64.pkg.tar.xz

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.3-4

%DESC%
Simple Theorem Prover

%CSIZE%
755548

%ISIZE%
2856425

%MD5SUM%
7b685f50757555658162997ed30fe0d5

%SHA256SUM%
d726fb67cec3dd8a841e3df3bb2cb8fc94747a5f1f4330071621094d770fff20

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmG++0oACgkQdxk/FSvb5qab1Q//ccNsYdXID1+HI1hh1FTUVsE2Udfe5NJ4RS0rOopnsDTQaHpMT0vlZ45oBVxq1gdMFjmRoiNjurPpMG/rfF5qPHzxoRO9vH2PR7jx71ujFhhlbbjnkpckCkMonmfNQ854blbSp2d9DytW+SFOYX2b9/IC/ymEH9bNTQlieQvlN4BTIMngY6Sl27JEUCOH8kP2hE2cXceAg0vS2ZBax7xyiLjOEkJ3dgV6YqFVxYIPfDHpbyF/inM0Yirn3KnDfK70GB8Xneyl8doWO0Z0YJ8MiRuRRB2YusV8tmyICkXG05zuEIZ81g8lNDHAxH6pKHbEDLtGqFl48JpDbxKOkp9+z3UQJ7ZfLAYOFJv9jtELKSjddGX4c5gIBbdc4ASm4/YQVYfs7na4aPLNaoSx+qusAY5evKmO5OS5HM91HioCPxg9gMklSwOsthr/5fHTxJadar06MiaeywCDBYUCA1EWcXsvTDrMKx6nBPNia34MTUKEzkMuMdD8h0HJtJtKGlPab9ab+OBcHmEUhqGW91Z0pP+6Nip/vGspTltS9eDMfM7XPdQ5ae4XMirm5TCv3inJTxLuE+crSwB1kQDRPIxFyhbQi+E1FtBCAtg8aL/f/K3yf82C8ENDh+CO/wVh2gJtLqcVvpZRCR5+/oam0DZxNZPPhdgW5RZ55nArbnRfGXQ=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1639906068

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

