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

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.11-1

%DESC%
High-performance theorem prover

%CSIZE%
174336

%ISIZE%
1774961

%MD5SUM%
ad6757112a781288b9e394cbb0c0ee9f

%SHA256SUM%
2c6a02ddd17dd88da6438c6b5d370c9099ebeb2fe79d4738289aab6ef9d35617

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmDC4OMACgkQdxk/FSvb5qZO/BAAkKDWd91Epn8P0+Th7MK7tRant0GiDz4JNYOrG5uI5JEh9dCT0FuwhAKShLM8HLOA1N4kkiJlqKVd5QKx1EgT1pH5tilaQu0BlUpu3Nr6EsjZly7mcde4zIVFFKR8RklTg/89aJgfYZKwUVZIvD/KzahhBK926kF9jsnz3UO1Crwk9gTKYz/Z6A55nPF28/5Ycg/QwNLRiBwEb6poHqyDir1ftJtHoHXw3VkHo2XhdMXDR6c9LRTgmRt3wyxQU6YM/vIcKV7rhbA+1GQp2yeOa/BbEEq7wRnDwRLORW+/rBaYWszdlHdBSykynGRJNWf22gwj8V/sj8ONH1bw3grIxLXEdMf/ltQclwuOxcQUsWrz+MpcxxICg2HTX9I+Aj1x353JrSYG2sMaCp6C9H1SQgMZncdtwKV6tpfZ6I5GF90AdgeU7jjh5VKvii5RP3QNSIHKe2iSqjkVLtpd6hs+c/kBVICQznFoV5F+OnF7jyX3YgptfZtpUnjy2zbFrtF29GDQ+L62kmLtLLQ4ztAp9a3kxGkVa85iGbx2eUOrGUXzFdq+IdsX6T6W/ti7PBfwZOOhRjS8LIYj7qnbEevRYaCffqHSu8XDPrJJ8l76xfUFiGByjx80/d0YqzDxbvYHDGFGXyZf+fhPiLVxts8CViQ8NDWFeI9b6uCKNvOJ5D8=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1623383707

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

