%FILENAME%
python-z3-4.8.4-1-armv6h.pkg.tar.xz

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.4-1

%DESC%
High-performance theorem prover

%CSIZE%
173540

%ISIZE%
1735680

%MD5SUM%
3f1d88be6a093863c28673907d215cca

%SHA256SUM%
d8ea2852ab7cd344f33fb60102b24af549fc7711df301f9a9990cd444b6e63ca

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlwdU0kACgkQdxk/FSvb5qYPyQ//XvQKPztmwLZf1hZdGAMFOS8fA2iOJsq2HbxUYB7T6E7Tg0TRFyU0X9TSZJdMxlasSin/N6YTV1+xW9N2jh7cCBzUBTm2HkI7pPr2LNp5mkutmXLd6aG/l1sNtKVPvDxWT3hWO4jKf/xWFqA3usGQ/bKkfpAxp1U3ZbOk1HqWENvXIjj4lRbnRPgvOtVqet/GachdzP9PncBq10UZj+UEvx6EXxWwUtPWirHH0y3KFiFEngEyF9/Oar1+FFWbBXvR9+3FvXV0NZgWXo67BmV4ocdvWwEPyyVKKJAHENiQf1QxbH5aEcPC2NCz6b1AcJAQIAW6PlT3F4YvPVqdsUFm1pz4Bn9sCL8oa//cKw9D0vS3Pmke6ryLQxtHvY9vk5HJEGCR2XfOQzeC8sCgm5Zt5Oiu8BJ3uagrYLKIgI9r/mNTi1KioO0wldL2LUcKVFEVQnUmCawQWTQ96JrfT2oRwU28fL5GLIk3ZIeKOBqUTW+HUZz2ORr3PrKgcxn4nfvaVWh6P9YfnqzVNC+/BPOCXmAJ4iDBdj3T2tx765ugeRBOIi8f9WdK6Ux46VpoH0R8jMwgjkmh022kkLrTSPAo6dmcTEpEZo+cR21fGrswXhh6l9L3InfdFhXYnR0gKAJKvFTthEgD+a9ZRiiwuL9PgZZjIm0TylJL8wkWGjSyxfk=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1545425282

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

