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

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.3-4

%DESC%
Simple Theorem Prover

%CSIZE%
727008

%ISIZE%
2428401

%MD5SUM%
ec2ace35b7d5957ac2f856be7bc60752

%SHA256SUM%
0160f86e863f318f584a38e93e2a2a5e6e3c166b08b31f04f754b12de6f9d9d6

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmG++RUACgkQdxk/FSvb5qaSLhAAgH3XahPec5kuvcByhqBf8Bd7OgJkL9zoUTa7dYI4CzVj93r9zv2cIx0liAsgifGYaIPMWF6aoKCEAS6nYRi/9vK7nHdQpCFA6Ve0+Qpfs2gOou4DUK1xXJYXeN7M/jUESiHQWknBhc+TPjHCgTSu820a2udC8jW5fWl/zL3lcCHja2YiRSsmIsuFSvSC7fptxlkcfAkKEKoFJUx9wg2hdlJ3CoaD8NSCe/DWLpvUIDd6bf6zLr/Gmh0RcaKxMvYXPc+WLQRvqQ58Y7otcVDCX6W7wUZqrwaZ1EmCzhzUWPUovodnRtLJHjrO+HeGcg1eZYRkpyVR8EjtuLyz3OWNDbpUc5MHgUlaIEW++8rAxy2CUHCHf643UzGzyZALsYUbXeCXRUJViOeK10SSb5J+UpuZYHqcDDIYlV6SCDXvGoWYzENfXdB4A0dwgKTe/j2Lss2RRxApCykhBalwQuvMmpQHcN3+hhVN21NFBmNBg9ntWHIlfyoPj7BAAiWtoHNliFcNm5Co5l57DrRGXVdyvBZDyLVMmttWkP3EnPqQsLUuaZtKtWQGKkTRrPbG1YIkO0CdjdzcvHtf7tosYVQBc4rD1ADBFpBYx6DG+k1pFHigZR6sLHh8H4ilCxwGcPTb9BzywEvGObbKd86qxUCBevbvfZ4Cs75VRIIo+rL/Pi4=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1639905481

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

