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

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.4-5

%DESC%
Simple Theorem Prover

%CSIZE%
794160

%ISIZE%
3013316

%MD5SUM%
517c031c725fb1ee9e5516587505b7b8

%SHA256SUM%
a88c91d5d0e0b4a88146bbbfb5fae4524a67d6e50681311500d661b3f3c86c2f

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmj23QsACgkQdxk/FSvb5qYHkQ/+KC24YoOY7AtGfgxEGe4MNh9HqZJiCLS9EyeG2NywffnQ/09yAHBBpgPk+Cx2F6I2Eud5Rp810XywaXI0/SGyFMG4xLUpZVU0phoDaMeVbr5cnAn5wvvZh4NegNWAFghk/WxSnHsFCnB/4UbTn5CZofArNw3Md6aFRQY7xO9eN6EqH3t3iGxUs1j3u4A0w6wYAyCagZtjfluzSmuzlTspcGAJJcsoUPWS6WMGXm84rP2AoDMRL+9bT0Iljfi2/wxKTPB/oc1tBaWM6ZYactOBAINJd1HChLh9TAt7suYt19kTKWhzIH1QbPJ8r1raljkjsGKaLstQvTQrY+Q61Xa+3Z0aeB4BTR6cuN59y+gXD/Y52hihOKzjQVK9zI3DP31VSoBEpdnXZXmV5vE26oICgB9pDCR7Aa3radMO7pCn2AeyftGYVTXILJYMDUquT61rpt2YUpRN3tS5srJEtpk+T81av9lDIHN/n1skVPmwH7R3rX+W6U+MnoAcsBL3O3EYCHcNQ6zYuV+MUEil0IwEpfx/9jCPzFR4duAn3aj9cio3S5HLeuzPCq15PJplqjURST15Ym56G1lg/Kexc3l+19E/6Q97zEreeUh2kZAZGbVal/4UGcZ7L96ZTuVCVj1Gi5Z7az/qrtUVB1afeOBEBjzSAIo3lZO3waYr/bI+zXk=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1761008851

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

