%FILENAME%
z3-4.9.0-1-armv7h.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.9.0-1

%DESC%
High-performance theorem prover

%CSIZE%
11856688

%ISIZE%
42547673

%MD5SUM%
9d17f61aa7c0e62b4124c53f13543fe2

%SHA256SUM%
41ecb90c0323c6f703672ecff950debf2850ce5813555afa1ec91e73bbbf088e

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmLcRJAACgkQdxk/FSvb5qa7FA//a/JoUlR7CPf1lF8yOUzx/uvu2e6yV2UDti4m7GVrfhJG0//aVggosMWvQYvG8yOa+i+34Kl2aRUKb45mwikk078otEzxwKnCk7Xidtu0Jb+HfCxmG7GFoUqC0FfCfVNCEJKIRy5er7Ad9NXTBXXfNnvu5I5dd3TTEgAuOXdMi22p9rjPOcXz2yhi+7iXx8u8bjSuifWOhNS8XC3/afgx7bDZQih12XQNAfNXNlxh6EarEk3Uni9haZ/Mfyx30hAS/aj5FxbUWSZZNkBUAbQqJSyqxuQ5KhB8jhqX+QCcBKSWVgWk9/WdFNrZsX9JH45662RCJ177kbj1Hbudb8qrQFtniq98lVRSsl01wPjhAW442DM9rzVj/UOEfscv85GXDUN8L6yRJ6PKnLGxdKM3pklz2fGOSEZuPxq7DOrHdOrDxOl8eKYoh7mioiyAe0ua3jxliF4PLfAv+gJRvoyzhxhr1gLJ6hF2cN8N3NoNNHoDJ4PsQW+Bk1D313gAq4IiiiOmghtugAYy2k6RhjKFd2epMo8Ry+az/F5Gg9Z6hNrtUnK7BmG8DuOR0u1x2s6wYlThifenamAqBFVJeG9VWJ4rbnL07wNZJCPTCKfBPq9sr56qR7Y/hahHu4HbpjEF6MWjs+Qx+bz5GWRqByIARs4xFgp4fgRYvzZ27KBMzOg=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1658601910

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

