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

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.3-2

%DESC%
Simple Theorem Prover

%CSIZE%
720264

%ISIZE%
2432291

%MD5SUM%
e2d0313afa46cdbae056c2fbe7452349

%SHA256SUM%
2aead3a4049fad5dfafe01cd8f6b809085a2df9376bfe29cdf1727e55c98d109

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmDDQ3sACgkQdxk/FSvb5qYITA//Wl+r5TGXCQ9jC4hpyxLg5mo+wJCXtNjhPU82HpVHrkdA1tKxYqYx8KrhjV0OH3RBLXfI3WTNt+yKkZkDkJzc/EDxpNDZf9Hm1wt5dEKZ52cqSHmdMSsjfhFHNRLznOVPguGZdumCspfktETPus5mQZd1fxrzxxybwOPvbSUOZOKo+zkPlv3dLGORhWSwGQ9K1AGdbyWjaCXsvFiVgpxEn+CGPkTHACI/Xy4YhgYMWi6dYoRsCCaEAR1sVO+PiKHaOYiwRm2G3TJRsjIaFyO7V9nFIb5Yq2HLfUHmyDrhqcnQ8BlrF4e5qbddJJGYYV0y6ii+d5c7xYzBM9mu+72WAzDZDamlKLFXv+QG4qM5B7C8M7cbzSzdymghnGa3YC9+k5Gc9bLJG2OE4EcdDkPD3HRLCEQjkAGJkJInlpfPLZZ45dEgQMplcasUOW33Qsiu2YeWODWlNk6QrrJF+4nifIK6+J8I39jSV08PJERW4w17P/+EXOky0MtxCWBNoVD5HuPXMwHCjyazxtcKty2C8v5YyGaKsuzzsInLE7pMOakz0vizgRgaoAbf7B+beG8cow97YpcafeEX7gZDB8yI5+ZvlI0W38NGjAqXTchuRwxzsJBu5l2d2buzO9L7EXukZRq23vOHjGvOrPcAg8XeRzcW12Narivkabc/Nr0Z5bc=

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

%LICENSE%
MIT

%ARCH%
arm

%BUILDDATE%
1623409461

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

