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

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.3-8

%DESC%
Simple Theorem Prover

%CSIZE%
744756

%ISIZE%
2523273

%MD5SUM%
544fe2a4a86520c5fa66bdf2ffea1a8f

%SHA256SUM%
48cf772420e7ed03f4808ee3b6b6015ad8a8751bff812ceac964ce2e0278d449

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmPOi1wACgkQdxk/FSvb5qbREQ/9G5a3FmFKmbhSE8Il3pLN6c81Gz+GmwQMkg9Nnx9X4GgY540ujCqNrPQydzxYEfexZ3SEklz44dbBrYYhVnEW7kMJxe4EROBbhoeLenob7SCuS7lX/zVFAG1Gg5I/9YgJpNA3Knnjyb4WzMgG2XP0qk6YoU6sF+OtBHsJFh1T2RHPgdomHFcdotNwIAjzRo5qjUW1lSHWcfeDPtT35i0aDYUn4ayQMyjLUVU/hAImuuXvCxvh5khfWLMv7hw8Ur2hCli/kq5g1mDPk+p/752EKwiWOA/oSTtQq2+kYdWAGRhPSK2L2PxDUBloRK9VAHKY2eyVm5Nty2MJN3JFiVbNaI2uLmoywcs7aVO7YY8Tc0eHMv397goX2UnjnRKqvG+wzH3dIYZt3fXvZpGr2YFxZVI7L5+vtOflNDVGq5fNsXFk9K7eGyn3RyA+hJRJ3TqesS9Bf8CSxqyeDNJuQowBGsbu2snHCOgLT+S5LAYgxhwULeRu8KJ+SFrV8z+mVn44hibp18684raFgztutbVyh9QFQ+WCxlbH5UH3o4qlOtUXo9JauNlDxbMp9u3B6ATvwjRogTC9X7SkMv6FlSMCvT9Xwhi9wkCjqFm8qvJu5vx2sHsqhaoPU636uv+/JEZz528qtOopWJyEtUbEucgBrsE6Laikk9+e9KldJPBAy+k=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1674480385

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

