[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/vampire/

[Maciej Barć]

commit:     bd70ca1e105ae6eda804d50dcb4732e1929ead74
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Sep 23 11:03:57 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Sep 23 11:43:56 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bd70ca1e

sci-mathematics/vampire: depend on z3 version >=4.11.2

both vampire 4.6.1 and 4.7 build correctly with >=sci-mathematics/z3-4.11.2

Closes: https://bugs.gentoo.org/872512
Bug: https://bugs.gentoo.org/860237
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 .../vampire/{vampire-4.6.1-r1.ebuild => vampire-4.6.1-r2.ebuild}        | 2 +-
 sci-mathematics/vampire/{vampire-4.7.ebuild => vampire-4.7-r1.ebuild}   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/sci-mathematics/vampire/vampire-4.6.1-r1.ebuild b/sci-mathematics/vampire/vampire-4.6.1-r2.ebuild
similarity index 97%
rename from sci-mathematics/vampire/vampire-4.6.1-r1.ebuild
rename to sci-mathematics/vampire/vampire-4.6.1-r2.ebuild
index 98b642f86d90..d5579bce688d 100644
--- a/sci-mathematics/vampire/vampire-4.6.1-r1.ebuild
+++ b/sci-mathematics/vampire/vampire-4.6.1-r2.ebuild
@@ -27,7 +27,7 @@ RESTRICT="!debug? ( test )"
 RDEPEND="
 	z3? (
 		dev-libs/gmp:=
-		<sci-mathematics/z3-4.10:=
+		>=sci-mathematics/z3-4.11.2:=
 	)
 "
 DEPEND="${RDEPEND}"

diff --git a/sci-mathematics/vampire/vampire-4.7.ebuild b/sci-mathematics/vampire/vampire-4.7-r1.ebuild
similarity index 97%
rename from sci-mathematics/vampire/vampire-4.7.ebuild
rename to sci-mathematics/vampire/vampire-4.7-r1.ebuild
index 19e7d9d57b7a..69e581237127 100644
--- a/sci-mathematics/vampire/vampire-4.7.ebuild
+++ b/sci-mathematics/vampire/vampire-4.7-r1.ebuild
@@ -31,7 +31,7 @@ RESTRICT="!debug? ( test )"
 RDEPEND="
 	z3? (
 		dev-libs/gmp:=
-		<sci-mathematics/z3-4.10:=
+		>=sci-mathematics/z3-4.11.2:=
 	)
 "
 DEPEND="${RDEPEND}"