%FILENAME%
z3-4.13.0-2-armv7h.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.13.0-2

%DESC%
High-performance theorem prover

%CSIZE%
12579624

%ISIZE%
45041207

%MD5SUM%
be0d4b36b24414fd7b4e441a0ace4329

%SHA256SUM%
561aa840d500033df31018a8e35f580ba7cee03e264ea736c8bec9b04f6aafd5

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmYw+K4ACgkQdxk/FSvb5qbhPg//WsLxL/iKwuG2x8jtA7d7IfsdCHfI/nl/IeNfIuIPVkrRp7Htj65bcLJiH340hqpnMMY+KwVTdD/at8Eggijbyoa3lkprxHK7RyTgDia2lQdEAOKIcrgepkM2h6PG/HqGT010QPfLioOHh5GksdBF5DMZPeI4vmHjR0z0eLKj5T5zuIzQBxv6XJFzDmNBHSctxqr17DVvXZ441LYggntoGqfTYdYhgYu5jNwVFfieZMnmDCB6CWBgDb2Ti7TT8FbCucSrdVDaV+534rKypelDPcxEjVx0ZWr4SgGnJTsxEq04SfU2gMKnZ7YLt67Vx6ePjE07gbsDWcmTmaf1vMxcv2zR0xHPmyTyxQ2gkhHU6lgR/3StieGmHt6R7pQike3sRCy6IH9FPQLZaPJ6A1daBAOU63w+uFKI+hfUyNVKfUFQQcr4hAdmCd4eGUkKBclAB52iZjHY9CwAZBosdlefFjHTr8Q05PKZnspjgY2Fo0iq5fp6mg+PEzYmu4TvcJqa3CnOElmz+1hud/0/WqTehAldDU8igWoNvjTwOlXu7lsrUqj1/T76Jo7jmwYMvpIOfbggvXZoP/E5ZXJqRrAAWKcobDpdK2uSyovGMedmVFSYVnAQOpgGHaeMkKG+mIVzDpWYLHOhXAUoYFXH3Ft7R1bieTvnlXlsMzqzRyu1wkc=

%URL%
https://github.com/Z3Prover/z3

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1714484554

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

