diff options
| -rw-r--r-- | sci-mathematics/z3/z3-4.9.1-r1.ebuild (renamed from sci-mathematics/z3/z3-4.9.1.ebuild) | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/z3/z3-4.9.1.ebuild b/sci-mathematics/z3/z3-4.9.1-r1.ebuild index b557f8de52dc..57224c747cf3 100644 --- a/sci-mathematics/z3/z3-4.9.1.ebuild +++ b/sci-mathematics/z3/z3-4.9.1-r1.ebuild @@ -13,7 +13,7 @@ HOMEPAGE="https://github.com/Z3Prover/z3/" SRC_URI="https://github.com/Z3Prover/z3/archive/${P}.tar.gz" S=${WORKDIR}/z3-${P} -SLOT="0/4.8" +SLOT="0/$(ver_cut 1-2)" LICENSE="MIT" KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~sparc ~x86" IUSE="doc examples gmp isabelle java python" |