Package: z3 Version: 4.8.7-2 Severity: wishlist Dear Maintainer, I'm happy to see that z3 is actively being maintained again in Debian. The version shipped in buster is quite old by now. Is there any chance you might be interested in providing a backport of the current version? Sincerely Benjamin Albrecht