Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 916710 - sci-mathematics/z3 should support python 3.12
Summary: sci-mathematics/z3 should support python 3.12
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All All
: Normal normal
Assignee: Mark Wright
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2023-11-02 09:56 UTC by marios4
Modified: 2023-11-06 11:54 UTC (History)
3 users (show)

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 marios4 2023-11-02 09:56:52 UTC 
sci-mathematics/z3 should have python3_12 at PYTHON_SINGLE_TARGET
Comment 1 Larry the Git Cow gentoo-dev 2023-11-06 11:54:19 UTC 
The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b8f53371b9ad8919b2b78d2abf7b713a214726b3

commit b8f53371b9ad8919b2b78d2abf7b713a214726b3
Author:     Andrew Ammerlaan <andrewammerlaan@gentoo.org>
AuthorDate: 2023-11-06 11:53:59 +0000
Commit:     Andrew Ammerlaan <andrewammerlaan@gentoo.org>
CommitDate: 2023-11-06 11:54:12 +0000

    sci-mathematics/z3: add 4.12.2
    
    Closes: https://bugs.gentoo.org/916710
    Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>

 sci-mathematics/z3/Manifest                     |   1 +
 sci-mathematics/z3/files/z3-4.12.2-gcc-13.patch |  12 +++
 sci-mathematics/z3/z3-4.12.2.ebuild             | 112 ++++++++++++++++++++++++
 3 files changed, 125 insertions(+)