summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/z3: Bump to 4.13.3Michał Górny2024-10-112-0/+108
* sci-mathematics/z3: Bump to 4.13.2Michał Górny2024-09-282-0/+108
* sci-mathematics/z3: Keyword 4.13.0 mips, #779742Matoro Mahri2024-06-041-1/+1
* sci-mathematics/z3: Remove oldMichał Górny2024-03-232-120/+0
* sci-mathematics/z3: Stabilize 4.13.0 ppc64, #927602Sam James2024-03-231-1/+1
* sci-mathematics/z3: Stabilize 4.13.0 arm64, #927602Michał Górny2024-03-231-1/+1
* sci-mathematics/z3: Stabilize 4.13.0 x86, #927602Michał Górny2024-03-231-1/+1
* sci-mathematics/z3: Stabilize 4.13.0 amd64, #927602Michał Górny2024-03-231-1/+1
* sci-mathematics/z3: Stabilize 4.13.0 sparc, #927602Michał Górny2024-03-231-1/+1
* sci-mathematics/z3: Stabilize 4.13.0 arm, #927602Michał Górny2024-03-231-1/+1
* sci-mathematics/z3: Remove oldMichał Górny2024-03-162-120/+0
* sci-mathematics/z3: Stabilize 4.12.6 x86, #927109Arthur Zamarin2024-03-161-1/+1
* sci-mathematics/z3: Stabilize 4.12.6 amd64, #927109Arthur Zamarin2024-03-161-1/+1
* sci-mathematics/z3: Stabilize 4.12.6 arm, #927109Arthur Zamarin2024-03-161-1/+1
* sci-mathematics/z3: Stabilize 4.12.6 sparc, #927109Arthur Zamarin2024-03-161-1/+1
* sci-mathematics/z3: Stabilize 4.12.6 arm64, #927109Arthur Zamarin2024-03-161-1/+1
* sci-mathematics/z3: Stabilize 4.12.6 ppc64, #927109Arthur Zamarin2024-03-161-1/+1
* sci-mathematics/z3: remove the filter-lto/fno-strict-aliasingEli Schwartz2024-03-081-13/+1
* sci-mathematics/z3: Bump to 4.13.0Michał Górny2024-03-082-0/+120
* sci-mathematics/z3: mark as LTO-unsafe, strict-aliasing unsafeEli Schwartz2024-03-042-2/+26
* sci-mathematics/z3: Bump to 4.12.6Michał Górny2024-02-262-0/+108
* */*: Reassign gienah's packagesMichał Górny2024-02-141-3/+0
* sci-mathematics/z3: Remove oldMichał Górny2024-02-092-108/+0
* sci-mathematics/z3: Stabilize 4.12.5 amd64, #924099Sam James2024-02-091-1/+1
* sci-mathematics/z3: Stabilize 4.12.5 arm, #924099Michał Górny2024-02-081-1/+1
* sci-mathematics/z3: Stabilize 4.12.5 arm64, #924099Michał Górny2024-02-081-1/+1
* sci-mathematics/z3: Stabilize 4.12.5 ppc64, #924099Michał Górny2024-02-081-1/+1
* sci-mathematics/z3: Stabilize 4.12.5 x86, #924099Michał Górny2024-02-081-1/+1
* sci-mathematics/z3: Stabilize 4.12.5 sparc, #924099Michał Górny2024-02-081-1/+1
* sci-mathematics/z3: Bump to 4.12.5Michał Górny2024-01-222-0/+108
* Move {app-doc → app-text}/doxygenMichał Górny2024-01-121-1/+1
* sci-mathematics/z3: Remove oldMichał Górny2024-01-062-112/+0
* sci-mathematics/z3: Stabilize 4.12.4 amd64, #921493Michał Górny2024-01-061-1/+1
* sci-mathematics/z3: Stabilize 4.12.4 x86, #921493Michał Górny2024-01-061-1/+1
* sci-mathematics/z3: Stabilize 4.12.4 ppc64, #921493Arthur Zamarin2024-01-061-1/+1
* sci-mathematics/z3: Stabilize 4.12.4 sparc, #921493Sam James2024-01-061-1/+1
* sci-mathematics/z3: Stabilize 4.12.4 arm64, #921493Sam James2024-01-061-1/+1
* sci-mathematics/z3: Stabilize 4.12.4 arm, #921493Sam James2024-01-061-2/+2
* sci-mathematics/z3: Remove oldMichał Górny2023-12-213-125/+0
* sci-mathematics/z3: Stabilize 4.12.3 x86, #920427Arthur Zamarin2023-12-211-1/+1
* sci-mathematics/z3: Stabilize 4.12.3 arm64, #920427Sam James2023-12-211-1/+1
* sci-mathematics/z3: Stabilize 4.12.3 arm, #920427Sam James2023-12-211-1/+1
* sci-mathematics/z3: Stabilize 4.12.3 amd64, #920427Sam James2023-12-211-1/+1
* sci-mathematics/z3: Stabilize 4.12.3 sparc, #920427Sam James2023-12-211-1/+1
* sci-mathematics/z3: Stabilize 4.12.3 ppc64, #920427Sam James2023-12-211-1/+1
* sci-mathematics/z3: Bump to 4.12.4Michał Górny2023-12-072-0/+108
* sci-mathematics/z3: Bump to 4.12.3Michał Górny2023-12-052-0/+112
* sci-mathematics/z3: Remove oldMichał Górny2023-12-022-108/+0
* sci-mathematics/z3: Stabilize 4.12.2 ppc64, #919030Arthur Zamarin2023-12-021-1/+1
* sci-mathematics/z3: Stabilize 4.12.2 x86, #919030Michał Górny2023-12-021-1/+1