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

%NAME%
stp

%BASE%
stp

%VERSION%
2.3.4-9

%DESC%
Simple Theorem Prover

%CSIZE%
780064

%ISIZE%
2948139

%MD5SUM%
7ae2f2590fc92dd20c332cc75a254731

%SHA256SUM%
1a5f659542a0599e17535a425c8b8602eea268f05ca52707d16cf4edb42eb641

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmnsvmgACgkQdxk/FSvb5qZeyg/8Clbw22J7hUArPNIT/KVW9xbtJgbl8xZ+7jkx3oIdfUndTEI4QdYkgYvZrlGJ7kGNzx8csBu/E6enelRLgjmZ8eKTnB/DivWTQ3njYEgwr/vrw5WpT9SdAFYHJXYqZ+gji1OxiwresAaaiOXJnki8IILvHWFBm0DPbPL2yEeN1dLhYpb89PkFaCXEMVzxXtZgJJEwuiWq38v7onDpTOX+A1RB2unO/IdcCHDia8hjpnUeeHElnyPiYfWUuuWEojA3Ts9hEz6y5MHU5ahd6aJwCQ3iWwFpliB+kq+e017XuoCf418zv9ghMD/rkptU2R8cRyYh1JDban2fKUvdslvfeqCHCUbw8JwWuFaP02nMKkP3ySkVgHpHsAaI9AwSscUooLMtEsMU8XO6ZdlVAxO7uMBWzaER5X/EJjfir/LfFO8g49eTTIuQw8v1W59pIgMy8CxJb5Nv3+s2wDYOG1qefj7KjwTqRIOtfxcKYv6APfFmqffWIGUNBEglV/i2vZN6qx/KttcnOcLyXuuxE1bNaGD1VHGjmLuYF+PwdBFGekb8MkMDpVvGXbZ7DEq+0ptF9VjMFpgoe+esNn44bN8Le6mp7NIu81srvkURf+w2HVvUeoUI6rSAzYS35x5RS81kWeiXn9ZHoVer+40mH9Vh7gSruVHEC7hrC/r9i205+MM=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1777122857

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

