%FILENAME%
z3-4.8.3-1-armv6h.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.3-1

%DESC%
High-performance theorem prover

%CSIZE%
10451140

%ISIZE%
36975616

%MD5SUM%
9b43ed747076b1e24ff0577c471a9bc2

%SHA256SUM%
4d2b36e4b105aad03b91e645e41bd26ed2771f00e53a7b82828f27970013cfe6

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlv3KosACgkQdxk/FSvb5qYHixAArkbnTFWe40zKcIxPYMqIUw3EcSyFXwc4P+uykooDQW13tjRszw9s6jCbJ1LAM5H+Z+FcmWzm7VmdtyOehRnHt6DDgaIjOQHhIjYgWAiaolYr+zRWB4P/whZoQuR7vChb0BB2vdYls+2PFxhcmGOusFpiPZtmsPwYEksAsGBy2RhgZdnrzL+FyF+ZONwIqvKwQlwf+6SC1GATPa8+54Rink02n6kShf7S1pETy+T8kW+AfR+RcblFiPgSCjRjfAOUVqOF0EHUhAL3YupsUeZltbtLBkyYzTTIHWNrfYVENcJm3PpziDJ2oEufS2tU+1TXO7UzdEaJUiWDpKLIWtP+EteL9G7uYMTj0Ymga6zMDtgQ0nZs9uquOAXPHw8aYanNCTVgZxP5ZgxIQ+bhzXlHqC+reU6qlI3IGLALfnLAYntMbGUXTzqVgXhLDk7U2up9uWeMx2HAFHzpPoQbRvYutYkBeHkNQetux7u8kqg13u1Wy/XqqHDRQbjmDJFS+FFjcKBT16GljtkDQlQkoBU435LyZZXt+IznB7wTH2dmlG+ObrlutAM4QXRLmju+uqT/KKY9pZxG2130QXohN/M2HXHPtd+zlpC6T/ClcYWcAldDM9TamRp/CAX6COGrgiyBrKIiCsB/PyGULCebSj1IqqLO5sjnwzH1shIIynyuMJw=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1542924465

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

