%FILENAME%
stp-2.3.3-5-armv7h.pkg.tar.xz

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.3-5

%DESC%
Simple Theorem Prover

%CSIZE%
745396

%ISIZE%
2522620

%MD5SUM%
7414c6d76b7151f58f7fdcadcd9c72d8

%SHA256SUM%
90e39a98ea9b207cfa7a97e9a2e5376995d97212c50ec665efaa301492321e94

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmKpP1QACgkQdxk/FSvb5qbj+RAAwTqKaHfpLryT43A9wBEnLWz3iqo4wa3nkcUt4Vbz/P4c/MfyZJCMXCpRmvzNHsUm1OI+j32/zhWsROz7qjjkkihkrmPyFxKsASGAkJHgFrIiTkPvymLwtmoHmYzZDqTIdd2yeHa4z5UTiicNI7KDtDSmWDtM59s6hM3h2kuVGxI+myBURJ5GOtcsVV+VxDYZaQOm7epk/1Zk94722WJPKtGtdhKeNC+Rl/Kh1hGLI1+ffyxyMjbwuyqKLYJJWu4ORz+4cxfNrQEYcW3xo67iochIm+GPySCzJGbPAq4tL77OS+2q13I+SMW6cu3AsT7JPToH7Vnq9BFRfOXy00qmmSymv/BPxTV0CkiXjuvF4aOT4birM54ckk7Z5pb4hxXMH+tZxjas43ma6IOpEu5FPVRr3SMfVtW8RGS7Ymng9xHWsSROtOnTr2D0OhyJ1sIVVHFR9HfJB4HeuJUqGz7Fivu273tHllyJUs2Df8zQ+nsBEc6W9aZUqZRfiPjr+is6NFoDm7ITINQkTd7qMbuSkzMvW4HpFVLq6kvhTKz2hB486we3+k5SPwY7TtIPaUjPD+0FB7c74qVoSdyW5bIWUP0C9j1lwJRpF6bjiF4QM8AmBs75dVznCoCunTCqFq83+5aGm5c62OdfVb0TQ5TKAonGQ8qY1kLL7XxUpsqBAB0=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1655258871

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

