%FILENAME%
z3-4.8.4-1-arm.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.4-1

%DESC%
High-performance theorem prover

%CSIZE%
10442288

%ISIZE%
36905984

%MD5SUM%
12ec9ed3f7cacc5159068d9a4dfd8e58

%SHA256SUM%
ae649add50098a0f6ce1dd5e294cf082278dc028eea5eb1ff391b388a1c31edb

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlwdUykACgkQdxk/FSvb5qaBjQ//VUFiooamo4BaNHsV0Nkq/CKEy71UMjgF29wgL+Bky0klQVUL/V2FouNGFu1TvFLNUD7G+mar6/eme1WHUBR8Utq+s+CCbcDdbeV1VW/yb+1MqJkgBTKIG7OE2rt0pe8VMIXkVBk8mFkoItwv67w89GHfPYLV7EgzExvHeAcZ+BEiDl02KWtA8dnOlUhnaoSmdN8ttz2XO3lKWgNuiG+mMDTt29Wac+1zXN9MK8rhuecbh6BAz9neFF86Xz+EwERo+0F3VqEChdLviK4q0PR3qfyYYCXcSaN26FyIyLggDXRqSTX403AUy108bWflSSrjgtGPUI0JAV7zDRpE2nkH/Kj0/Ffd4DP8HHxm7Vo64Y9Kl9GO+igiH6ZHVDVbHu/56nho+vkAWMzyKv87Z+FdZlMBHukqHu83Tw4VUYfcpPAmQhvlH6LHu4oil+1D13xRlVo7m/5nzh1nxzmI68ZvTAkekDWRLU0dAZxJvfI3ldO32AhdIwBVQqbEhj2Wp6seLls3emoNQeknepgicT1RCEecxfTt1NlMNs8jTa+ctqOC3EY4rvjrjAkEgvrIBxXEBNjJ7pVfyyayS9B8RxqvhxcRmAg2M/mquhUHJMaGEddKbhJtzQBIAqL+DNfaP+QHmLPmVtNSQhqb8lKz4n/CyCQzBB0ivg6U3ICasx+KyUc=

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

%LICENSE%
MIT

%ARCH%
arm

%BUILDDATE%
1545425279

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

