Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 872512 - sci-mathematics/vampire: blocks on <sci-mathematics/z3-4.10
Summary: sci-mathematics/vampire: blocks on <sci-mathematics/z3-4.10
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Science Mathematics related packages
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2022-09-23 10:06 UTC by Michał Górny
Modified: 2022-09-23 11:43 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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(-)