8|sci-mathematics/z3|z3-4.13.0.ebuild|cmake-multilib:java-pkg-opt-2:python-single-r1|mgorny@gentoo.org:sci@gentoo.org