| Summary: | sci-mathematics/z3 should support python 3.12 | ||
|---|---|---|---|
| Product: | Gentoo Linux | Reporter: | marios4 |
| Component: | Current packages | Assignee: | Mark Wright <gienah> |
| Status: | RESOLVED FIXED | ||
| Severity: | normal | CC: | jstein, mgorny, sci |
| Priority: | Normal | ||
| Version: | unspecified | ||
| Hardware: | All | ||
| OS: | All | ||
| Whiteboard: | |||
| Package list: | Runtime testing required: | --- | |
|
Description
marios4
2023-11-02 09:56:52 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(+) |
