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

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.3-5

%DESC%
Simple Theorem Prover

%CSIZE%
775948

%ISIZE%
2868712

%MD5SUM%
e888efa41005861e8680bf23eb6c24cf

%SHA256SUM%
53e013fb158661fe4bc937c2dfa9a4c717c1b505ee91a903200793108d05fc0e

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmKpmCcACgkQdxk/FSvb5qaH8RAAnJF8yWQ7GKT3K8ekVPMOhJLgFGHXMHLu2sI7sAALN1a30YutQaPTsUqL4U/q/j387XpYNc/eUfyoVNNQ36XYk+vIJBRGUVSH3JDXPuOPvS97pjVkkIe2bOARqk7QDEPof94J6WNRNevVIhNb79u1tlD2rvGz4v+o3ycX3h9HBjLBpUJGdIf4vfKcGfpC4Hy0GDA7YquBTx/nxYZrsFXbM5tHXCJuV+m8Lw1G2fHKnbLNCZVcGMX42NBVt5Xg8YyvUFGhQ0Lr3huxVoExdcEdUSjocWHgwjNgNWd6or4HCEU9SyBN97U1E/GrEA+qikvQLrpzHBwThaaGSu4HF7DABnMiYFL2c8PEcqGGCVTGfJ36pdNTA8GUn0SS6Xw7ItiplJ+eQpalexbeoSrm+lJeOcxjTfdyZxoy42oAfQ/f2n6d/NCa0nyThWprW3sZJrZPWcrGg5ixazPishCKYd3+DGAZRphE2TGYVk3/slqohHJjUzeUQ/wHMRpvMUvws4BtbBGwFeSNoWzD+3+pZp0abiiB0J/ZFZmEVyvqTMz3QBVZ/27Uw2IOE6CtRbcgjiJ0MhhxqJP6+CNziRHR1lhRshU/3wQKFgpG83XMSTHtjaitaDbSiSQE9u1HnpQxuXkqezFn6wc7d+okL9bZnHCjR9ld/VWxC79Gq9rPBs/tm60=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1655281655

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

