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}"
