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

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.12-1

%DESC%
High-performance theorem prover

%CSIZE%
11473044

%ISIZE%
41019745

%MD5SUM%
edef8279027a6532b286191cf4cec2aa

%SHA256SUM%
20951d51d829e080961580f6c32a984e8366a8797d318a23a82efb35773e00a3

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmDx2XEACgkQdxk/FSvb5qZEeA/+N1Mpl8IgEO+itnCQUMoXQ+92DH93Q9303gueDVzSwHgr+1joEE3D7/26xbCbWIsnhcT0f0f03zRwW2IdJfnAFpiBaFjGWAQe1dKRJdL7j+xSeA2jg8iil5cC98OlaU3Kgitd9awKtx1svaP0yadSBzZ+A0bhoy/iirHy1LtPgyVdzt92GRyFLRMawzFxQ3hyDVexUpNZJMu1ucarBjY7ep92Jy8kMyHh7QO42moJ0BqRusfnu0hxoA4Pn89Jy2+PWNEl/2fjiC8XzZubk4xWsk2CVeDNT1CKp6KfH229etyTawuqvhgR2T4HeTP3epxQqavLgEdOlrbAazGIpzvzjlABn64loZhlMECi6trRWmIPzOOjPgQvf7shdSBESI/++HiDBx7DtZXGCqr6R7+IfDgXiAu247ADD7bjbVl2QY/vdv4wYmrQtRRL/wEfdIRSyuWJw9l4NVO6UTAjto4QCNLcDTRQwY+d8GSJc/u8SbkBlifmxd2n4W2ugq3ETAqzurEzLUpgJTjM476FRexTA/tvalUSJN5WGa7ShiPCspqh6dCU5Ykw+62GOlBxRtJ0/qs6xgtMWnT+k6cHeUe/evSkr2c4XF0z/XApMtPOBuDrXw6J6LtX2AYjhQYVeH5gKJzP+dtBzbaHf0E/VQ0d1QcSqXPUMjd80SXqP7Ihf+Y=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1626462004

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

