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

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.3-6

%DESC%
Simple Theorem Prover

%CSIZE%
773628

%ISIZE%
2869365

%MD5SUM%
0d765471a6ebcd6b655078668ff70026

%SHA256SUM%
b182e45540910e7340203562d7e104fed7ae7e3b789a399124404cdf63e6ca10

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmMoDhwACgkQdxk/FSvb5qYs1BAAxTUL/iVRgHggMRx5qRTUotg4NbP0MXHJNSjkj/ZNjKaijDt/GpQBkKCVSbtayhVHcgh0fa809mgPtGDzexi8CAqcz7SwyakpvDSe/Rxh0+RYE3VLke61jtJkrKB3d1cbNRDu9Hu4lZ4GhjmXySeKuvEb7EOAzpYk+ga+KOMGDGg3x3ClyEgj5Xbu1WU99O3BkaM2eE3ZO+Jj+UaUMp2Q0IofLHEG+zcvfFUkt4P+pIhgLEfW+pTcNxiszhQAneAoZkpU2Q3hKDkkkKpWoN3kRD9dlVvuFawsOVhJW5iDLts/QxWCncVeUeXxzdyYJC6i8smjQJtvZXC/cB1ZXNf37/EVvtokp5YlK9xvUC0hqVV1I/squnjGjm2QoZeJTBWF9M+Z9TTHqLPl8cSfqIS1L3pYvMeElhvzdaxqCfoIaHfXujUhFdY3EX2iQ2TgJg/DDp88IED6B1S1q7I+LakKpp+cHMxnGDNKqqgImm8q/A6qSsIoa2rHyNJF4nW1GMRLrZfol1OHv4b7RLbcR/ROAoCah8eEWUdTBLW8zv89HvMCinSQFhECPkpTZ5dpkNMutmNLZfIpvJfiCixjXZOk+KPrQk/r+8LB2V7eHeiWJVneavaX1m1eSb9zn2q27PRRrs+mfDFouvPbn5HEhAzFclQsjNomMyW1ZqCjGdIU+ek=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1663569385

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

