%FILENAME%
z3-4.8.9-2-armv6h.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.9-2

%DESC%
High-performance theorem prover

%CSIZE%
12655664

%ISIZE%
46299025

%MD5SUM%
45b475e999cb74371e4ccf1e295e8f85

%SHA256SUM%
c12e8ccc304c1960f242cb80538868dfb01229ac5b6984c3e9eab760d97e103b

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl9dKYUACgkQdxk/FSvb5qbNuw//VhmM2y7b0TNx/sy+j2CmPvaCYNMsiKm0w9r9/JwIKw0LXCrKP3YSkc7Z8JxPPoaerPqNE7+nnfdQd37R3fPJXvRMRpZqbrIwvunqcUdFeMqajz8HFmMNLNuUUHkI3iP246HbJGluhA7O7arfboSf8thrR9F3ZlyVyQS6i7zYsdnWzrN7SWzRWTL9jWb1rHcKhDoKjXAhx5b6v2Ym4KKVIzpsAmEOO44I8/i5MKueyP2gZ7p/vWfseQcaGLDFYUWCPasXwoU/6waRyUqTsUxffi3vwM0JoX2eAEYasCgqXfXQUdQdLEM14UWQEDpQ/QvbsciI6dsDXU5FNdn6DwKxo3FL/1Kfjm74JZazOev9P39fouKw25h18jjxpeAmzwTE77jmrzze71i7YZbGuaHNLtSQJ9/EngcU9/s+zngu7df7aYsk688Q5f2gKr/CRGGG/qim7t8zc8lfiRe2Ui1w/UTnwlIV4uZpBwMGi2KyxLJlAPpXDNgzYiVBdBkMgdoYoiZUHqQgbCzAw+W3YaXRtLcXSysrluuv9o46Od2lJxpKuq0YTXanTrKm7am1ChWveTycM9C+uAUSbwIY5R+Eia3aH1P1KNn7ahNJ+lKW9lss7qKV7yPBO41eUCCJiZ6L8yL2XQ7/oXWml/zkdi98Z0X+ba8TJU9NzFoRcaXBmYI=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1599940452

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

