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

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.3-4

%DESC%
Simple Theorem Prover

%CSIZE%
726576

%ISIZE%
2432485

%MD5SUM%
7a778dd9fd56560fa23c14a059fe7aab

%SHA256SUM%
760a43932f7821791d67f432170d97d9270b0d34f7411df8773198d0ab978cbf

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmG/UO0ACgkQdxk/FSvb5qauwg//VHdgrcDpEuynAQqaU0fSct6CkexxTBjQK+xuaZAWdtuWVAaI3Uf1neEAYtRmOHZwUz2jCuZwvQ+SjOFYdTEdfnWxWtDrigjUr+LPHkDeh7e81coIOJK6dKcsbEJN6DDXR19h2jSaEONItNV4Gh1BdpYZd8A4ljPhXcL67zt6jGqt5+YgnelEn/BaEMz0kbcQcxa9VA1Pw1bUspKR2wjhXvXNIAe1YFcjQ3PcndhcGB0kT+8LJpWopkKbvBHKTZkImnB+Pdevbq48S46BAHAxnViMTBnP5rz7ToTHtAwViaetHFqdauMEBaa80Epeop91E45psi2QyItzJpCkcCMnZM7r/amVZv+VSc/Xb3GqRddyd33t8lqCOO1FGz9VEFaiPhlsEzXEgIuhVPlCwpOQJ6EFwGDfNNgzMl8EhQn8xsG2+qDElZycZLk18CH4GM8EbKeDEFp1gI9or6Yqtp7hekozMplWtr6DanxHy8KeMG49d5Cvl3O1xQJQOI5IBhBH0dIkyTGh04vP8ydWUeWzsaeXodd8gIzAzdg4egQmJgQllH1umgv6Ia+M9IBp298haYFq9+E3p456kS0tXtrAqbS2Zh0iP6rUmNnqEtpoxU/nw5kfAMgClEcUfq7s+7tIveVyv7P+6lNeNuVktQHhA6ucLr0mo4ZMK3tVoSQJMao=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1639927975

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

