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

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.8-2

%DESC%
High-performance theorem prover

%CSIZE%
12258984

%ISIZE%
44116168

%MD5SUM%
406e6540251edc0a3eb5a5fb733625a2

%SHA256SUM%
0401b671a5fc97eec70d0c106a571f6986c0047ba59817748209c788a7899e11

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl9WqPwACgkQdxk/FSvb5qYRLQ//Qr4tGqkAHqa8tBYHB21A3k80EG17Xf1AZUdctB79VoQqLVPj3aywIV5WmNNZh5FA8VigE4wBzE6CdydpJBAsXu4z3j5l58gNYMugBhLX/84TQlIokuZWlGGtSGC3DVjqe9+A+8SDd5hFheLJX/zGjereY44bCYE/PUpVoC3nqi5xkQQKztBTu0Q21BgoZaGLHkydEMOjQllaRuNBNJoBD41wULYksNnxomnFfTpPWEkhjubZeT/elhbyTIsYcf+9gG8sEjD9JEoxoK90RYD89PHIbvb6YCItrh6XDM1Rh36aBMlObS9pk0YEEBTPBOpKF3F5zaVz8xSmD9ZfLn5hEn11FtJ39WiqRjaCdBtkbVdHlGP83gQ61zn2UJ/V4q9Ur/ur1E5gnQBGufcTKQ0XDUhbCA3vlQPHKW2Uwbk5ycpuvm595h+ue7XcQGj2jDUALQCBrD4sJnCKVURsqcjXO+3TaR3pzJcR/AZClThvrQabkBpLNJAhEjh4TJBCKCEDx2/PMKcDAiZm6t/AtHkQ4GTagDlkWuO75ZaAyh8xumxN+AAlmmrlYHxcKTv5MNOJERYMtpjWhPu0C3PVF5IXIyJ4FiUq4v7vVyO7eKN9VWSUarX8HIiuJDx5q56bP4qOeYrQyO5tqymxopyPe9gftHWfaeuPQ3CDc2UWdtNGVt8=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1599514442

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

