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

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.3-4

%DESC%
Simple Theorem Prover

%CSIZE%
719996

%ISIZE%
2432293

%MD5SUM%
a106bbef70ae8a1d7a76e43d46970e74

%SHA256SUM%
f430912d31e8fffc732411b6f474157a25539f252fe9fe250da2970ed5996ec0

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmG/omcACgkQdxk/FSvb5qZ7LhAAwc0+Vk7cZpt8ckR8D2AczoTFSZJYdZfxiOVQxkUdoI4+gQbwTBb9O0H2RX6XcQTvN34ko8TvcXS0zuFXncoRabPufZ6BsDfvMFQhjySmYWrBVynPb+sksMdWIveFhFVOF88OVQHBtokilzjnKW3TzM2ocu0Zj9+zyHvPSpvnPrjpdY+YB535zLgWhPRnNpc4ajdT3bkTfJWxFUC40f5WDo1kmaH4qD37I1IlXcVS0eYggZlZLvewKCb3/d2fAxfpQ0Vqcr6/LOGjqSDI/CxxqCHcOgwThKGmOw7APUI8kwpDfLlociYPa2S5TfhSREomh+J49IQAwqFkwOBsHymg3phU5UNO1Y3Eb5dkfeqa3sTWPoE/vD+gPnq7qme0Cc/Oqlq18JJY+mHiAilRz6vw6WdkLZc7bqrUd5V+TNbiAUBCPQ+B+NxPVJjxoqKSUMU9lQqhz2uR7iuFTmiHyb+6wq+cwQnGS4c2DnG4M/HauLCMeLsqnf/uQlZIJNVGvemB23u13iRfXwjTmtLlQLEKgYh+vay3/i9F/VDMnjBFMFRBMEhAsJda8JCJzK1nun/a4pmDcfi1pqtpG9kqKfty4zGR/AyQSusHonDVUzYkWp6EtX7jaIZ37esecz+iDIHslAI63ss/v4RJaN40Zni5ztWABoyVk+3cvaztJWWtjsU=

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

%LICENSE%
MIT

%ARCH%
arm

%BUILDDATE%
1639948834

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

