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

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.3-6

%DESC%
Simple Theorem Prover

%CSIZE%
745020

%ISIZE%
2523273

%MD5SUM%
6910ec01b6c8354d3e15c415d4ce5dbd

%SHA256SUM%
f9aacfb7fb8420ba6307f8cf6480c328eaf81aee86cde4a66af9156cfb3e9425

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmMoC5UACgkQdxk/FSvb5qYvuhAAlQKPWoVKhdsaLrjsQrn1zA8jk8rADJeVsX07Bc38JjzLDiCmGRPsVZFPLnAziIulw5RVjMVDpXBGA68UEgJ6/2vK9AcB9rb6SCezcnOQIECuMWkKzxBSYbG6sFZHKwErKM8rrTkRWiFu7uwN191EpbKWlZxDmzZ4AxbNxjJJurCdvM5wLZJk4Ffg6tFIr96OSkOmA8xO15EAXCcUs74p2+DjklJsXYDOe347T5hibsCW9tUGtu5AgoUOVUm4B8r7EgopCXnL7lXPqozjUz7zzhEMYvzMHSGAke6D/YVC0OZBOfeYmPEEUH5z1wlb4dy1U12EQDT9IuklI85LSr2EuPHNocYqPxtIcyakR+jPUUNWoY/PPkc2GTpVJGc+4vdAqSYWlD5DpbmrU1XigVWHSAU6iqRJr5Je7CqSREvlrlyVydUPnpiijk4Gz5PW6dOKkX3FbXMaEKtSmkxhWUHrA1gCGm/u+zEiCYz1m73g5uQ2D36RZFkNX4LfGC4WerElbK/CApUfL1Vz/afS8ZhGB/d6RpbUOw3WRN7SLX7x8Rg24E6Ek5ahdN5AWkl3WXQRd6mpg4AcWCiux9NPQDzdbIW7fR4MAVXaTgdR7bBUZ1FFngUFlEn8k3NStzPJKoobiV3sj4e64ssI+Hc3cyODAxjGaK/a1gUKw2fPz/7/q1A=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1663568700

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

