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

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.8-2

%DESC%
High-performance theorem prover

%CSIZE%
13380472

%ISIZE%
52804648

%MD5SUM%
005dbc54b206e1ae3b90ae76d5d55ef0

%SHA256SUM%
4402c6b1cc552874b2c3e10279b30f15591b970d35547f2fc679d52eba842315

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl9Wp6wACgkQdxk/FSvb5qZBBw/+Ol/xVMQRcCgPNPN8cpzJXQwj9txUYSSff3YyQ3lipGipdmess/G/Kh6aKpfBobMOlPzRg8PVvrCwY9dBqk29XebygZ3Nqd36h3s9SqgMtOwT/gu7nUjuoEwgqRML98XdY0P7aCK0pByWznjac4iM0ZKyLG2oyepPdFShbIJzd1s7hEwnmjfZ5igQdiQOP+CZ6Nnn5Tj8s97E3vWtGgsJ39Y2g9ICTy2xL97Y35AgOkSNvJj1Q7RdpEcvohlEfqWnSmzhC0kP7VTeAQSr+0Pohe8Cg+8iAJUvz+QgIOEDzH1uk/1T0D7uaRzGa0yD2AUrA8YZI1qCfpEr/diYlUoLaVxc5DFA4u47/xOrJerwyPSBqItIbIV8szhbJdUHSLR3gRjpxn0JZR1tBsU72xlJPCS8gEMXdAxyw9u4dS8cqARI9Qkk9K2mk0dZ+nv+gHH2QIwYQ/X/hWOirxIbpCun3TByP7MKSX7L00wfTPyQRZZIjqyE7+UDgABO7BXayzNwXbLn0sBJtiQKWsTzOSgh1aVd35Oq5FjEGUL/8165Q6+HppXY0dv7kKd8qHerS9wTpaWZiIhr2QhTgtrpy2z03xNlJNaMaBBQIrO8dRLMJF7cslbxUek3sgrwimE0gtfa+44ONiSJpiE3gFV46NZvDNlNu998ubGO7LuaV+5ds8c=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1599514321

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

