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

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.3-11

%DESC%
Simple Theorem Prover

%CSIZE%
744740

%ISIZE%
2523224

%MD5SUM%
aa59731c5825d3bb35b131441f453d4c

%SHA256SUM%
cfdc4fae686b9d15840f47657d6a0e0b6d62b62922eb378c97981623b2a9cab4

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmXFX2wACgkQdxk/FSvb5qYMWQ//cdRUf0rWdk0IDMOuE+S4vL4b4RyCZ5M8pf7AzKeENyKOEOgW/LKBUFnE7ukffaAfcltcI7BtSsUSWHWQ3mMq/9XlNsgXXBf9NLgR3psJlY0LUl+s5VLXVYhNjQ+tTiohDn9/s4AjyzZPQACfu/uz0pOoMtWXXDNyAuO5EecMdXFPjqnQGKzbOzIuy4B5VUKBcObomzogeghRsr1LGav+XIb6he2EcnQtaaFT/ppZAQhYSKVBn9Ao+OasNW9yEBBnf+kdoij4RiB1vVdu4n0c6mTxl34ufaB2nvHVa9ygoS/Tl3x/Elw9B4awTU6MPFOKA3YE7JXgsr+uQdWMXOJHEQgxOlbpiOA2lMz8y25Poqn3M/cpOfDhbEfMWgjxzkj9/mP0Xdz/9Xx/iFMCFtMWwBQITO1pZQ3NKqPzks1l91DUbTLsLwjfIYhY6cXufiVs7MKjlDrKD5/rocnoHtWk4DBsYY/4GKkPQkPzpKNEa/Gql+BWk0BglJCumSrI0508tetzfT7T0090BUQ7Sqxr90f6TcxeVVrDR+l8CoOMikZOaH5cfWIjEhLWrRsuZrbgeXbOAXHqyJsL36iQAn/2/0nR4haVs47Vb/PR//rdYFTJE9AXq1Qn1UjZ5M1GfYhqyYxs0FFXUuPpObM2hJjPqnaI6YbxjrTptB4mBpiBGeg=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1707433737

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

