Version 4.6.0 was released about four weeks ago. Thanks, cheers.
Thank you for the bump request. You can help the maintainer with further information: Does a simple bump [1] work on your system? [1] https://wiki.gentoo.org/wiki/Custom_repository#Simple_version_bump_of_an_ebuild_in_the_local_overlay https://github.com/Z3Prover/z3/releases
>>> Creating Manifest for /usr/local/portage/sci-mathematics/z3 IUSE.invalid [fatal] 1 sci-mathematics/z3/z3-4.6.0.ebuild: isabelle ebuild.absdosym 3 sci-mathematics/z3/z3-4.6.0.ebuild: dosym '/usr/$(get_libdir)/lib${PN}.so"'... could use relative path on line: 114 sci-mathematics/z3/z3-4.6.0.ebuild: dosym '/usr/$(get_libdir)/lib${PN}.so"'... could use relative path on line: 117 sci-mathematics/z3/z3-4.6.0.ebuild: dosym '/usr/$(get_libdir)/lib${PN}.so"'... could use relative path on line: 130 metadata.missing [fatal] 1 sci-mathematics/z3/metadata.xml Please fix these important QA issues first.
Clang now requires at least 4.7.1. Upstream newest is 4.8.3.
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4fae46a493d81fffc0495a55e449a54a6c71f7be commit 4fae46a493d81fffc0495a55e449a54a6c71f7be Author: Michał Górny <mgorny@gentoo.org> AuthorDate: 2018-12-13 20:15:09 +0000 Commit: Michał Górny <mgorny@gentoo.org> CommitDate: 2018-12-13 20:52:17 +0000 sci-mathematics/z3: Bump to 4.8.3, major ebuild overhaul Closes: https://bugs.gentoo.org/644508 Signed-off-by: Michał Górny <mgorny@gentoo.org> sci-mathematics/z3/Manifest | 1 + sci-mathematics/z3/z3-4.8.3.ebuild | 101 +++++++++++++++++++++++++++++++++++++ 2 files changed, 102 insertions(+)