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

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.4-10

%DESC%
Simple Theorem Prover

%CSIZE%
773820

%ISIZE%
2948267

%MD5SUM%
302372f7b3ea17fba094df054f2cdc56

%SHA256SUM%
3d7c99cf1a573a43524069f109cba6a57bee56a756300084f0067a9984c500d7

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmofUW8ACgkQdxk/FSvb5qbZjQ//fAg2u8HDtWAxYb2RRMnRCRhRXxxHXvw90tUHjfDEY0wiH6bPe45juhhjPizIV23iMbg3KUdgDT5TL51jlbkP0EM6aSADat5Eqn6CPNsHfhfA/2vC3zGh2dSx3N1PixCEeMu/CREyAOZPyrLzHvA68MmWCdT7TC2BWdQckrnPWwvDQ+MQ78QZoe06zqAhlvCZjb62/6c4IvVTW8h/exTTKGT8nejoBBdyc6I5+rib7bqfrPD3l0upJuvVP/1XAycW7ss4peCuyZtQZE2tKCK//q4ihLTOWmxO3qpKXT0UJN2SaFNn9pH4V7pNKqLaHS0mQ3aQ5wPAeoG3xvizUEKfrTqR2jvtOHp8A8I8mFarh5HUSlKOC853aAJ9S9uzfo1jp2Bg9hmZX8TJWAZij8VLi+gEi5G8shA5IlPJ/xwQqX4r0LWdELc8Xc59N5kETFeFmQSAK3OD3Hoey/9x3UjD3dHXKnBXwYWq0+UDY9s2wKgYNH/29Yx8T41ipfSHpVrY494m3Ig6LoLEJobq2SRshpLnImfg9yTNUhM9jr0ZRLIF30u7gWWpAfWjWoFxQdXwpLcKCunVmQkNBCYLMZifsOT+KDid10X8QpA+X2kS+xr6hp767exOSasm2+savZh5DelBWqPydb8UKwoMnZYFmnHDug2PqY+yulhiMC/tjGg=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1780437298

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

