%FILENAME%
z3-4.8.1-1-aarch64.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.1-1

%DESC%
High-performance theorem prover

%CSIZE%
11600092

%ISIZE%
44961792

%MD5SUM%
e83eecccc0d8957d96a28669f91af8fd

%SHA256SUM%
a46bbfdf5479fc5daf7cb14ee702811582b1540a8cd71341cb828108b5c1b36c

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlvh+1EACgkQdxk/FSvb5qaDiQ//YjXIPDgYY4LClHX2hL+e6Wj+0esc4S+AMyQu9xp4sbT+ZjIV5P0qWN7t3IhDoeI4Twgz+a+4js5e+aDqxRzentt6McI0HwU7fAD+u2vTOq7NxUE0xFK6E/C9fnYap+xrihjQ/2Dp+5m8pwQ275w2Mvz9wc3bNk5keeiFPbQIFmuXbwUOGipklOuhScGSnGYcPbgQ1vc3nRNzbd2MilZUlrccKkeon6DjPLJ/vQxOkkS/vR/z4w7H674FJr2gk/YSuQIfzCeM3zxJ9LAfxyciA7dtjXE4KypuWyN3QdhprySpGrYUT9jOdha92htiq+A9RaA5OvzSOS2g5jKtSup4X53pr2TigX+UlxXHfjJ+aotO0fHA7Kzj729rTzHssNdjID4H0AM+u99hI90srtXqcNETbbXAWsWtYaNBPVhWVn6VazUMJ3varkcGmuX3tem+VdM+LHcrxinB8vAoaAFZxTejOxx3aaSobAUst3oshWbjJZyZbItVUtFL4KJpYuw0CBlPT6S2I5fKRrylubjLRR/b6yNr8IguYb/pmMgvlOwdHFoxU9ImI7JZ9zBtegzoP4RtoYRXTfA7pYu7K9YIn+mGZYVeLHTQT2+G+YaZrMGCOv7luRRnRyYnRCIxUtSgpkeKGxjko0bF1E+9P9qbMeiF2i5QpjC3n3ga+/uUo8w=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1541536381

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

