| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | sci-mathematics/z3: Remove old |   Michał Górny | 2024-03-16 | 2 | -120/+0 |
| * | sci-mathematics/z3: Stabilize 4.12.6 x86, #927109 |   Arthur Zamarin | 2024-03-16 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.12.6 amd64, #927109 | Arthur Zamarin | 2024-03-16 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.12.6 arm, #927109 | Arthur Zamarin | 2024-03-16 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.12.6 sparc, #927109 | Arthur Zamarin | 2024-03-16 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.12.6 arm64, #927109 | Arthur Zamarin | 2024-03-16 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.12.6 ppc64, #927109 | Arthur Zamarin | 2024-03-16 | 1 | -1/+1 |
| * | sci-mathematics/z3: remove the filter-lto/fno-strict-aliasing |   Eli Schwartz | 2024-03-08 | 1 | -13/+1 |
| * | sci-mathematics/z3: Bump to 4.13.0 | Michał Górny | 2024-03-08 | 2 | -0/+120 |
| * | sci-mathematics/z3: mark as LTO-unsafe, strict-aliasing unsafe | Eli Schwartz | 2024-03-04 | 2 | -2/+26 |
| * | sci-mathematics/z3: Bump to 4.12.6 | Michał Górny | 2024-02-26 | 2 | -0/+108 |
| * | */*: Reassign gienah's packages | Michał Górny | 2024-02-14 | 1 | -3/+0 |
| * | sci-mathematics/z3: Remove old | Michał Górny | 2024-02-09 | 2 | -108/+0 |
| * | sci-mathematics/z3: Stabilize 4.12.5 amd64, #924099 |   Sam James | 2024-02-09 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.12.5 arm, #924099 | Michał Górny | 2024-02-08 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.12.5 arm64, #924099 | Michał Górny | 2024-02-08 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.12.5 ppc64, #924099 | Michał Górny | 2024-02-08 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.12.5 x86, #924099 | Michał Górny | 2024-02-08 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.12.5 sparc, #924099 | Michał Górny | 2024-02-08 | 1 | -1/+1 |
| * | sci-mathematics/z3: Bump to 4.12.5 | Michał Górny | 2024-01-22 | 2 | -0/+108 |
| * | Move {app-doc → app-text}/doxygen | Michał Górny | 2024-01-12 | 1 | -1/+1 |
| * | sci-mathematics/z3: Remove old | Michał Górny | 2024-01-06 | 2 | -112/+0 |
| * | sci-mathematics/z3: Stabilize 4.12.4 amd64, #921493 | Michał Górny | 2024-01-06 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.12.4 x86, #921493 | Michał Górny | 2024-01-06 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.12.4 ppc64, #921493 | Arthur Zamarin | 2024-01-06 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.12.4 sparc, #921493 | Sam James | 2024-01-06 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.12.4 arm64, #921493 | Sam James | 2024-01-06 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.12.4 arm, #921493 | Sam James | 2024-01-06 | 1 | -2/+2 |
| * | sci-mathematics/z3: Remove old | Michał Górny | 2023-12-21 | 3 | -125/+0 |
| * | sci-mathematics/z3: Stabilize 4.12.3 x86, #920427 | Arthur Zamarin | 2023-12-21 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.12.3 arm64, #920427 | Sam James | 2023-12-21 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.12.3 arm, #920427 | Sam James | 2023-12-21 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.12.3 amd64, #920427 | Sam James | 2023-12-21 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.12.3 sparc, #920427 | Sam James | 2023-12-21 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.12.3 ppc64, #920427 | Sam James | 2023-12-21 | 1 | -1/+1 |
| * | sci-mathematics/z3: Bump to 4.12.4 | Michał Górny | 2023-12-07 | 2 | -0/+108 |
| * | sci-mathematics/z3: Bump to 4.12.3 | Michał Górny | 2023-12-05 | 2 | -0/+112 |
| * | sci-mathematics/z3: Remove old | Michał Górny | 2023-12-02 | 2 | -108/+0 |
| * | sci-mathematics/z3: Stabilize 4.12.2 ppc64, #919030 | Arthur Zamarin | 2023-12-02 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.12.2 x86, #919030 | Michał Górny | 2023-12-02 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.12.2 amd64, #919030 | Arthur Zamarin | 2023-12-02 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.12.2 sparc, #919030 | Arthur Zamarin | 2023-12-02 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.12.2 arm, #919030 | Arthur Zamarin | 2023-12-02 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.12.2 arm64, #919030 | Arthur Zamarin | 2023-12-02 | 1 | -1/+1 |
| * | sci-mathematics/z3: add 4.12.2 |   Andrew Ammerlaan | 2023-11-06 | 3 | -0/+125 |
| * | sci-mathematics/z3: Remove old | Michał Górny | 2023-04-08 | 3 | -216/+0 |
| * | sci-mathematics/z3: Stabilize 4.12.1 x86, #904033 | Arthur Zamarin | 2023-04-08 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.12.1 ppc64, #904033 | Arthur Zamarin | 2023-04-08 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.12.1 amd64, #904033 | Arthur Zamarin | 2023-04-08 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.12.1 sparc, #904033 | Arthur Zamarin | 2023-04-08 | 1 | -1/+1 |
GitWeb
