| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | sci-mathematics/z3: Bump to 4.13.2 |   Michał Górny | 2024-09-28 | 2 | -0/+108 |
| * | sci-mathematics/z3: Keyword 4.13.0 mips, #779742 |   Matoro Mahri | 2024-06-04 | 1 | -1/+1 |
| * | sci-mathematics/z3: Remove old | Michał Górny | 2024-03-23 | 2 | -120/+0 |
| * | sci-mathematics/z3: Stabilize 4.13.0 ppc64, #927602 |   Sam James | 2024-03-23 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.13.0 arm64, #927602 | Michał Górny | 2024-03-23 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.13.0 x86, #927602 | Michał Górny | 2024-03-23 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.13.0 amd64, #927602 | Michał Górny | 2024-03-23 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.13.0 sparc, #927602 | Michał Górny | 2024-03-23 | 1 | -1/+1 |
| * | sci-mathematics/z3: Stabilize 4.13.0 arm, #927602 | Michał Górny | 2024-03-23 | 1 | -1/+1 |
| * | 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 |
GitWeb
