%FILENAME%
stp-2.3.4-3-armv7h.pkg.tar.xz

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.4-3

%DESC%
Simple Theorem Prover

%CSIZE%
771556

%ISIZE%
2581206

%MD5SUM%
54d22495176f38de036d001f84cd7393

%SHA256SUM%
3da2a1f9c78099c1cc82750609f81e43e2784741af4ba1e62f81477a97465653

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmemCnYACgkQdxk/FSvb5qbVZRAAvERSygCvZMWZCw9dosvS5DASsS0jvzQ7kuSG8CwJJnTdW7nRCaWWaXIszL5Ve/b2FdDQ/Vw6ysA3IZgndh7aNgPEMVZTMX44HP2idzoSg7dkafOaGmG+A3EvWWhVd0JRrDr2NXtc6oi9CI8NNEBBP+1U8w2DV0WeE9Bjb0ExFtPHe90Uzhur3KF+ucHoeOynloY9f0CpCEl2Gy2oG23UBM5Gz3QA6zqhTe7dKutdC1v1F7R9hnZd6VoGwOyl3iuLRvxn69EdOLq0USxbdwJG0W9Tum0V/NesdmnuTTbC+3Oyx+4X1FbUNLJCLsX1wcgR5ubOe3AZ82mUPHgT0XYMZ3OITP1CEiwhs3ndALbkLyb7bSja+jPM905F7lqInjiu2YYkdFJERAdxurKZF0/rUqZxUGtSxcQf0AfSJynsnUjvPimkTqQcAIUPsWx7kfTH8NBGCh0hmWaviv7HZa1EnkRwmNAn6vMP4kL+AHOZ5LhEi7rCQOc8meaMn6jnnENxnnylec341oSwN6wJH4SUsOgjvvlbcNFcn12Ect/gr5VNjYTAFwO0O1txGYKQrYGCmcRtezyF9AZDYldAZNmll2knuRVMyldbmK8xUUuJF4g2HrBcERmirzmfXdLUX+y1A6Taghxkzvi61bGIKp1ZulxdvosI54etiA7Xqo2jm6Q=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1738934811

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

