8|sci-mathematics/z3|z3-4.13.0.ebuild|amd64:arm:arm64:~loong:~ppc:ppc64:~riscv:sparc:x86|mgorny@gentoo.org:sci@gentoo.org