%FILENAME%
z3-4.8.10-1-armv6h.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.10-1

%DESC%
High-performance theorem prover

%CSIZE%
12953380

%ISIZE%
47372237

%MD5SUM%
88b0bf69a70b60f8186a2a8c19d81a74

%SHA256SUM%
9cc3d0b3f23f39d479f62f7964a6793422fde3fa4968274276f20268a06cfdc8

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmALZroACgkQdxk/FSvb5qZY+BAAi16U5RJhxuS0tILizKUalJ9S0bpFSEgAraYTfwJqD7OB+PYEUkhbhDoJgqgJMhshx+MZIuVwUQ/HuaCEyTWqdQeg8y3qs12hRbAvIlFWyLYaRtOvS9COFIPQj0iHQXxjvUVZC3QYGxzx9FtnwnFpfZgAuc+GtMOIEFKSc+kCybdAWeLvQIFg7oD0m0Z/juGu8FTVmRGaZl7WdVdUbjuXDoHGTfd+t/YGks5psJb3PZ0Z/OTo1PZ3OPeklApkJw0WeBC67foMHl0cGjHz6Kg+0m1H99cU5hE9gRIs6cGqqCjTGHXvtCBDkvvGHRo6QokUDsSJ09LKOO4DsuHuATfKZKO+vao6kFUdTzn2CZoZa0NGWwI/VKtscx+ODIGgJCXrLZSzC3UKGCilDa2lFGx7OireePecbwTHtWUrRAMXYW5R7YJTfMdNviY33SbhUHJtLSDuKkt8X2qafbu12EWOgR3aAsS6rhdvFzd+YpOS/qYDBb9+WbyjP0b+VFkMxdQf6iufVdv9WQKoUAJk+qCcjlOZgk3FxFK40MTI7SAJHNh7uL/czuPwtgqIVL03XcbxO3H6XYt8Yqa2/G6+XVXYlcwWTFyh/rvXpK/pnwz7kKw/g190+B/xS7KB5wNqtOUXLZXz+fQZ1CFsSwv0vOr7jDImAYzlFqOyQaC2qTjkCq0=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1611359449

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

