Summary: | sci-mathematics/vampire: blocks on <sci-mathematics/z3-4.10 | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Michał Górny <mgorny> |
Component: | Current packages | Assignee: | Gentoo Science Mathematics related packages <sci-mathematics> |
Status: | RESOLVED FIXED | ||
Severity: | normal | ||
Priority: | Normal | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- |
Description
Michał Górny
2022-09-23 10:06:40 UTC
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bd70ca1e105ae6eda804d50dcb4732e1929ead74 commit bd70ca1e105ae6eda804d50dcb4732e1929ead74 Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2022-09-23 11:03:57 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2022-09-23 11:43:56 +0000 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@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(-) |