%FILENAME%
z3-4.8.14-1-armv7h.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.14-1

%DESC%
High-performance theorem prover

%CSIZE%
11501044

%ISIZE%
41158946

%MD5SUM%
06e8baf71a463530373b8944df6e37bc

%SHA256SUM%
4682345baf9f351fd5a7fbfbe3bb286962a94e0bd14dbb567709945066fb48b9

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmHeK9YACgkQdxk/FSvb5qZAjQ//ZVuMw8G+RhbYDg/bBzWUAUaSk7lah5LDy5ilhsC/LqpvQAtLlit2vMhgKTPToZneJlAW0chNPGyakPv2nMVng3DgcsSYIH860U5hYCaV1z2vru1UiBxMRah40D6pRFSUKNDEmXGvRn0IoG6DBuJIqVScaoaum47z/oS+As0iIOjR3Y+6PCvcZCYImZpe5P2YpFuZcZRg8CRFs0eDPwHEMqV9jhosvmAkqHbza7R5mQ5brMwiaErzv+YdvbxrpI7Vao6FuxEUik6SGyKy8R6FEzKas+LXoqYIxKvh2ix2ayKgvRUobbJZB9dJO9otRwp2Zr71GNEi9H4bRTpcT2ogjj+97+wp2kMGb9J/gvfR7AvKoXwzC3cWOBsiiEUp9tzUzeJiBWoUKwEL1TSUhvTx/Q9o3Xl40N+LUNSTe76Pysr8WYTt8sq1YpGe+y7ordgm9KY62XaxZhXCL4f/SjPYdTutsTPtZg4K3daUpDXTmEEsW63mDzoUyqzprrTfzcDtYTgyHqhMGWqkfrjZJhtcpVM+rAk1+DNLZ8TN/jdsXs83m2yApUO9SRR2fJKKT0PtBRHGuhGecZMpDIx8kRaHXGPmsI78u7wbKAK+sBirDS0dvQElUawpKGyz4mltdryeyyYMY1P0iQII3gbtNRGqe5UqPR+w7KFKTMLwYt0Jqoc=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1641949559

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

