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

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.7-1

%DESC%
High-performance theorem prover

%CSIZE%
10974852

%ISIZE%
38638419

%MD5SUM%
86a4aca6662fd3f5eb38113b58102103

%SHA256SUM%
ba05366200a681766a3033212c4a13b119b47d16b760f305380d3f51e52265cc

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl3YPAMACgkQdxk/FSvb5qZdIw//QEDXJ+YiVzchH+khpHV/bbnOy/u7TZtSI3NqyoV+O/l6+ja1LXeIqGQfajqKdEuS6XBYuXeAlOcr2Ps09+zMzUFMKai5+JqugaskEQZM+OOiN4y++HpsXk2o62n/wfu/tbl1ody+/Ays13yu6aBZKbBcgJrZipd87QYlJQjxW/MHqtRdiCSW4WIFYrCyV+grfziP1fmUYGuf+Y0EnNCu/s+6/YiObFz1hlUu+CeAw6iM04VkTXlEN0nQCXxA3u0b/D9vQ+f2wlkoFdenFzGP37fHognSddZeVfOsISim4HTBP1dFcZkEI98JTAUbPrDmn4rxqvDC27rAyyQRR/QNSW9ZNdzoXtngup9div6V0/CDdobnTQ3XO64+YrOd4K3irSmeq8Gu9nycxmlZJWTc6Ln3EXjbw+UXlAHQ72RmKxYi2JPEJtDOY1FvZZhzDvCgF5B+Deey4Pk53IiCVSfpmAZy2Gb0+2tN9cOQpopV88jlE+ls4k/kKnKeIccSbBUUqFXShZ9h1h9j9s2JlcJE+rwsbIAjTbfP4pbsFbsu5uNIWLadlktfjQkBRL3aKwpm5pp1mGg2B73NNhxxFKWuThxue3YecqxLOGKdBydkInNnaTc/rTIehM8WudTMTrBOSm7JxD0OAK5YtLQCiRN4DwH4I15x+8YzMxbyHEFeOO8=

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

%LICENSE%
MIT

%ARCH%
arm

%BUILDDATE%
1574451810

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

