| Summary: | sci-mathematics/z3-4.8.10: Backport alignment fixes | ||
|---|---|---|---|
| Product: | Gentoo Linux | Reporter: | Arfrever Frehtes Taifersar Arahesis <arfrever.fta> |
| Component: | Current packages | Assignee: | Mark Wright <gienah> |
| Status: | RESOLVED FIXED | ||
| Severity: | normal | CC: | mgorny, sam, sci |
| Priority: | Normal | ||
| Version: | unspecified | ||
| Hardware: | All | ||
| OS: | All | ||
| URL: | https://github.com/Z3Prover/z3/issues/5178 | ||
| Whiteboard: | |||
| Package list: | Runtime testing required: | --- | |
| Bug Depends on: | |||
| Bug Blocks: | 371525, 779742 | ||
|
Description
Arfrever Frehtes Taifersar Arahesis
2021-05-31 23:30:11 UTC
sci-mathematics/z3-4.8.11 was released on 2021-06-04, so backporting of these fixes is no longer needed. https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a81de75070cf4246b1becf4cf67fc3db6bf1e15b commit a81de75070cf4246b1becf4cf67fc3db6bf1e15b Author: Michał Górny <mgorny@gentoo.org> AuthorDate: 2021-06-05 06:54:50 +0000 Commit: Michał Górny <mgorny@gentoo.org> CommitDate: 2021-06-05 08:28:27 +0000 sci-mathematics/z3: Bump to 4.8.11 |