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

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.3-2

%DESC%
Simple Theorem Prover

%CSIZE%
755448

%ISIZE%
2856423

%MD5SUM%
204c8126adf204f93ad6d89a31126090

%SHA256SUM%
4fd6ea6de605e195879c514bcc749f770c0ead25b446f22c974f0309c12f35c8

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmDC6U8ACgkQdxk/FSvb5qbZ1hAAjBef6HdIbJX6O0hdipS1Du21vQE4SKSu888rxo2w7RaXQjq230uPrem2UACGGVzm828wmA/op36noVimbz9HkNsJZYDKnJdxCE6Mjuipgr7EQ+rMdPOBuNJmI3B4W6sn1uPoHJ+gjWVp0jDEOvO+9R9Id8orfiO8zeOEawh3JBWtx8P/+9tCYZGWChviNWYJHumqDdCD7KXhnRRDwJtZSvdSNDdEUNrRQt0GyjCS/7OgDiN6C3avJwx8sGeEv99MSIKQmSC0Z+RWF44xSvRaTnO3NpWx9k5utgI1JFWC4vyHrDYQSkrMKuKBgb3IHphXBcnJwSk4U4dO/B3Z/xjI3ayZVqL/qggxbso3zURhLz0uea6cVoK0ib5DxUWxlUd7Fp4SOrfwqUzUTiNM2a0/8rSIaua1xjAtxLvjjKAdig4uUA2Q9CAsbhy3U50PXdUmANbca3+lAlw9NgsRGrNZWK1ZDnhxpbnIhacU0A7kU2/wIdoKB+ZOPMDINlE88vrS3CS5HIZk5k86chH7TZVSy6QQGUvaeHboUXjARRQht7dN/629huZXTqWX/dBjF3lHGFIDQrnO1HiIXTRDdG/8guZyVwnCVf8TSsd7aiBG5C+McCr4afTfIyTRNh0O7i512dLkn4oB0c+ZxUBzB/X1zl2wOsH7A/nqNjK34XySanU=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1623386390

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

