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

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.4-4

%DESC%
Simple Theorem Prover

%CSIZE%
771416

%ISIZE%
2581201

%MD5SUM%
866ebb214bc063aa899c6f4beff01d9c

%SHA256SUM%
fb2fb0a11d68ec2a3a9de49af3ddd5fa41df0c9708f86e80ed09b047cd95c781

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmgVck0ACgkQdxk/FSvb5qY0/A/9EvksKQkse6kjAuQ2+Avu6dh7Yt+J58lARgjEoTBSrkfj7x32+9AA1P+JLegvlTly0GbX5r7QJXWfYaP0LUCJBF9upTRtKXzBY/9pkwsojhM780AzUqCSrtGVpW9aKVa+IkqR4F4MrETiiTmNis+gWZQPKr/WBbbx+spRp19+KfjepqpEJPt5xeq1NxDtPZV+Lh9+gmI0EMsVpzdeDx1U5+p66mzBvenvT9CSHT8gVoF/k0LHNI2v2a9IJ+8/4C93jdTJRQDDFZkhzlT2TDc2qVY+6pKUQMZx72m/XzailMC9Yr4BkUVFmHlUC7t0fI2waV0JD6eQpUMz8WHXzdIdixN1FVFiglG2WS48p2yI7xSx2MjfDK/MvsPfmECNglGEC34jYi52fH0cxvKaNPBOjG1OoOcfAiYG6jFiH86JiOgDzJg0E65TKwAn2gDRlYLwMjDvnvNTuaWQEvw54OXoQPPdWXsD/Wbe1x91ybz2aAXi43+a85993x2vUcUMRufV+Z6VQmkhycZJu99pqzpddpcQOCX50NE5kFZtWi8XSAJeg3JCaAozSI5TFJ5qDQWB0Yvf7dBU9W2vu9Hz+bmv+L0jCl/zLRWlxLtqfJpw/eo8YQhn9Ei3mb2tpLDjAAw2eKQugnAdLOef3MK4WRF82NAdjcsDYPeu/nHFjYjJiQY=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1746235892

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

