%FILENAME%
z3-4.5.0-4-arm.pkg.tar.xz

%NAME%
z3

%VERSION%
4.5.0-4

%DESC%
A high-performance theorem prover

%CSIZE%
9001120

%ISIZE%
33112064

%MD5SUM%
e07293afd1d49a7fb5aa47bda6dd1189

%SHA256SUM%
3755c8bb888a45c9072c8e56e4112008bda5395e6ef7b1deb36aec5c4785f83c

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlmgSKsACgkQdxk/FSvb5qa6qw//c3YsDmqa3+CA+0sqwCFynjGwKPGKsFJNEpyCk7dDIUy3xYVmym9GVunYWVWVuITvN+9Hq363lsk1i4QaP7DbsjAKKDsI0wpEvzFj+Yy/SOtg51x93GlP/oKNkRzzEak1uQtvLBMykcEc7haMyoQP2qpvUuuVNDcumv6IQ0M1SOmHnmDvbHHEsCYD1y/cEWs00eUEmzB487mXPgELVWO95Rc5G01p/y0QuSQEApPgP2lLHIhnFX+k2UirFyeNRRGi/gACWRXAH5apzjxM5rxe+kADYwAqx8PbCtSJOtMkQmS6waD6rbpLzF6RvuibEE1mwRA1VdAdgtZOiTA0Als6G7unocBuzLzMOGdi9AqPXh/wpnvE/FO1vWMgWl9xZpabIzX9nqINkfuyHyadE0hVA+NyfTY/DxNKd0m7BkN6DUnNrPhnG4vlTjRGwgDJUyfa0sJUOqwEUxEA/4P1xUZcgQMBYRvN/ebx0s70i1A1vzGACoRIqGZITHwTH+jakGgjKEMMNu40NVMBqpP9RjM27iPqyREhrgMP2qwwc5h+0Sfhu8eZKknh6zUKhXOrI7oGzFhOvt+vA6Q0xcF+cbOEa1DiyfvmneAVIIhFohfSsJIoY995mrVDGZNz6ExMQUaLgf3PnkzUUrGRRvTzO5IEcGZSQa5k2dYzgcN964me3qk=

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

%LICENSE%
MIT

%ARCH%
arm

%BUILDDATE%
1503676529

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

