Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!

Bug 872512

Summary: sci-mathematics/vampire: blocks on <sci-mathematics/z3-4.10
Product: Gentoo Linux Reporter: Michał Górny <mgorny>
Component: Current packagesAssignee: 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 archtester Gentoo Infrastructure gentoo-dev Security 2022-09-23 10:06:40 UTC
vampire-4.7.ebuild:		<sci-mathematics/z3-4.10:=
Comment 1 Larry the Git Cow gentoo-dev 2022-09-23 11:43:58 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(-)