Bug#1014978: Please update to newer upstream

[julien . puydt]

Package: z3
Version: 4.8.12-1
Severity: wishlist

A few new versions have been published by upstream ; can you update the
Debian package?

Thanks,

J.Puydt