%FILENAME%
stp-2.3.3-7-aarch64.pkg.tar.xz

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.3-7

%DESC%
Simple Theorem Prover

%CSIZE%
773484

%ISIZE%
2861173

%MD5SUM%
f3dd05672a55cd3dd8c9d67ca94304a1

%SHA256SUM%
5d7c560f6df56f9dae5c1c7b3db8482bd1e7d77c24c79e64a2a90ea15f89fb8d

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmM59eYACgkQdxk/FSvb5qbEnw//UCqvkajDZOszuq/9HuvbzX1plM1zm98b3CqiG68zr5NGmz4MFa5I5TEzbpQR3RFHh7F7MhfzjU4UhlWZ2BKFYLKeXBa9MM3VWc93OtX4b+81kOnXvfY3HytfAftECXRDgxifP34Yu6Wyf72YPIocC5PXGgpv8ElYqZrhfyDwwIv0YyTd/N3wByfDgfM+JSE1QQEh6J2CKB+saHR+naoHMlDfuigK3FvE3taq+HMI0wv25gN1/+6ouoEhkTGWTQNgHj2gV8JCifM4ly3MB2sfFCJkj51kCCgXj/26+1zdwMb52fE5iBotxo+uDGF5aXZDBntLuqDfVpn4ey+dJOaI3SmEYqc2/StdPLpeiNx9HlGUnogdYz55VhGHnostW8gcwvvzYGVNskKPmui5EY52VQ93EnESA526JveZeTGDKDESLKjh07ZIue1MnytVofXV0/hUs4pKukG0gtV1h4mq8IUFUJTvoDXMhxOi+M1z+XXkkOfpGPkhn3fNUn0FzWL01s6tPnbObxduEOePuERfuAdDBvUbJTZ7AtN1S8iCBTZ39eBo91GPNhmztVflTv8dD7ZIoOW7T6go+1uSg5gOvdPKnSLnoLUq5hnDHZl32Ufh7bBv/qel04UsWAeCn6mHunZaMhmwa0XyXHgA32miI7a1gjyQrHYmGxQOg13xipo=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1664742826

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

