%FILENAME%
python-z3-4.8.8-2-aarch64.pkg.tar.xz

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.8-2

%DESC%
High-performance theorem prover

%CSIZE%
174856

%ISIZE%
1739773

%MD5SUM%
109b2e06bc1594c100f460af20598664

%SHA256SUM%
3d92e55e51087ae0947b246fe9a56d6dca6763bcdc7ffdd1aa9782172d2b42b6

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl9Wp6sACgkQdxk/FSvb5qYh3xAAiOA7FetRVfjYpWRrxXUJY/gROXoGXrdO94RY4PmNGOxBERWIJw4enJFyrWrOxM7KHTOLBD9MCid6rrYBq3Y09n0udKZvyW/owDR2AW4O3uyPCWjqxhqJ7vPXmgeFMWV2xzfQFx3UwbvfNK/5S//7pb6WA7nYax5rh49cWJBdVvsUDzH8bZkNfEV0uxu8chEp+pL2oyVn5FcK9AeeYNEsV3A8iexOf4dCvLxjoye0/2YTlL/p7PTVbAhZ85TxBM5CsBhtHAnbrOlPrur15aUhFfuPyYzFln2fUNKyD/ki6PPvhEsKdTr5vyEaAM3C3k9Chl+uEKAegRgaerf5wtDhFFanogPOXQrwe4Jg5CZ5J6dRr/fxAhs8s7iXxn6ngEe0+VbHTy8vZfexXlsCgnPzLP+xhYHUu4zOZD/R395ijqP/5nIVfzW70Y526oy6PRdiB/pPU+2XHznV+1izIvZmlqXWcqgyA9ETn3Zq99b7UueWwDxyhE2JYnVvgy5bpBjhPPgC3EKBE5kLZdlz8VR0NLI1xjLUP2MyJFnosSgKQ1uyJgRCugKoKVvGm3bKuuZnCcmYpzDTplgtqjfhNjvENzqnrZ6gOOFtD3/gCXtzbQw7Zc4RAAA3YwGtkeaorEpzFNTfQndM6U/1N5tzWB6ro3S3OZG590oDISRrF4RkFd8=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1599514321

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

