| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/z3: Remove old |   Michał Górny | 2023-04-08 | 3 | -216/+0 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.1 x86, #904033 |   Arthur Zamarin | 2023-04-08 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.1 ppc64, #904033 | Arthur Zamarin | 2023-04-08 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.1 amd64, #904033 | Arthur Zamarin | 2023-04-08 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.1 sparc, #904033 | Arthur Zamarin | 2023-04-08 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.1 arm, #904033 | Arthur Zamarin | 2023-04-08 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.12.1 arm64, #904033 | Arthur Zamarin | 2023-04-08 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/z3: Bump to 4.12.1 | Michał Górny | 2023-01-19 | 2 | -0/+108 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Bump to 4.12.0 | Michał Górny | 2023-01-15 | 2 | -0/+108 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | */*: remove py3.8 from PYTHON_COMPAT |   David Seifert | 2023-01-14 | 1 | -2/+2 |
| | | | | | Signed-off-by: David Seifert <soap@gentoo.org> | ||||
| * | sci-mathematics/z3: update metadata xml |   Maciej Barć | 2023-01-10 | 1 | -0/+18 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/z3: keyword 4.11.2 for ~loong |   WANG Xuerui | 2022-11-27 | 1 | -1/+1 |
| | | | | | Signed-off-by: WANG Xuerui <xen0n@gentoo.org> | ||||
| * | sci-mathematics/z3: Remove old | Michał Górny | 2022-09-23 | 2 | -108/+0 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Remove old | Michał Górny | 2022-09-23 | 5 | -432/+0 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Revert "Remove old" | Michał Górny | 2022-09-23 | 6 | -0/+540 |
| | | | | | | Reverts: 8f5a05275e21e1ecf49dedfe324a38e86bf874cc Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Remove old | Michał Górny | 2022-09-23 | 6 | -540/+0 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.11.2 sparc, #872290 | Arthur Zamarin | 2022-09-23 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.11.2 ppc64, #872290 | Arthur Zamarin | 2022-09-22 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.11.2 x86, #872290 |   Jakov Smolić | 2022-09-22 | 1 | -1/+1 |
| | | | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.11.2 amd64, #872290 | Jakov Smolić | 2022-09-22 | 1 | -1/+1 |
| | | | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.11.2 arm, #872290 | Jakov Smolić | 2022-09-22 | 1 | -1/+1 |
| | | | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.11.2 arm64, #872290 | Jakov Smolić | 2022-09-22 | 1 | -1/+1 |
| | | | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org> | ||||
| * | sci-mathematics/z3: Bump to 4.11.2 | Michał Górny | 2022-09-04 | 2 | -0/+108 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.10.2 x86, #865789 |   Sam James | 2022-08-19 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.10.2 amd64, #865789 | Sam James | 2022-08-19 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.10.2 arm64, #865789 | Arthur Zamarin | 2022-08-19 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.10.2 arm, #865789 | Arthur Zamarin | 2022-08-19 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/z3: Bump to 4.11.0 | Michał Górny | 2022-08-19 | 2 | -0/+108 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | */*: Drop CMAKE_ECLASS meta var superfluous in EAPI-8 |   Andreas Sturmlechner | 2022-08-15 | 4 | -4/+0 |
| | | | | | Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.8.17 sparc, #862999 | Arthur Zamarin | 2022-08-02 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/z3: Bump to 4.10.2 | Michał Górny | 2022-07-30 | 2 | -0/+109 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Bump to 4.10.1 | Michał Górny | 2022-07-23 | 2 | -0/+109 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Fix subslot in 4.9.1 | Michał Górny | 2022-07-07 | 1 | -1/+1 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Bump to 4.9.1 | Michał Górny | 2022-07-07 | 2 | -0/+109 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Remove old | Michał Górny | 2022-06-06 | 3 | -213/+0 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.8.17 amd64, #850061 | Jakov Smolić | 2022-06-06 | 1 | -1/+1 |
| | | | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.8.17 x86, #850061 | Jakov Smolić | 2022-06-06 | 1 | -1/+1 |
| | | | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.8.17 arm64, #850061 | Jakov Smolić | 2022-06-06 | 1 | -1/+1 |
| | | | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.8.17 ppc64, #850061 | Jakov Smolić | 2022-06-06 | 1 | -1/+1 |
| | | | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.8.17 arm, #850061 | Jakov Smolić | 2022-06-06 | 1 | -1/+1 |
| | | | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org> | ||||
| * | sci-mathematics/z3: Bump to 4.8.17 | Michał Górny | 2022-05-05 | 2 | -0/+109 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Remove old | Michał Górny | 2022-04-26 | 3 | -168/+0 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.8.15-r1 ppc64, #840665 | Arthur Zamarin | 2022-04-26 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/z3: Keyword 4.8.16 sparc, #779742 | Sam James | 2022-04-26 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.8.15-r1 arm, #840665 | Arthur Zamarin | 2022-04-25 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.8.15-r1 arm64, #840665 | Arthur Zamarin | 2022-04-25 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.8.15-r1 x86, #840665 | Sam James | 2022-04-25 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/z3: Stabilize 4.8.15-r1 amd64, #840665 | Sam James | 2022-04-25 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/z3: Bump to 4.8.16 | Michał Górny | 2022-04-24 | 2 | -0/+109 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/z3: fix documentation | Maciej Barć | 2022-03-21 | 2 | -4/+4 |
| | | | | | | | | | - add missing dot dependency - install documentation into correct directory (use PF) Closes: https://bugs.gentoo.org/818991 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
GitWeb