summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/z3: fix documentationMaciej Barć2022-03-212-4/+4
* sci-mathematics/z3: Bump to 4.8.15Michał Górny2022-03-212-0/+104
* sci-mathematics/z3: fix link atomic in riscvHan Gao2022-03-162-0/+64
* sci-mathematics/z3: Remove oldMichał Górny2022-02-122-104/+0
* sci-mathematics/z3: Stabilize 4.8.14 arm64, #833068Arthur Zamarin2022-02-111-1/+1
* sci-mathematics/z3: Stabilize 4.8.14 arm, #833068Arthur Zamarin2022-02-111-1/+1
* sci-mathematics/z3: Stabilize 4.8.14 ppc64, #833068Sam James2022-02-101-1/+1
* sci-mathematics/z3: Stabilize 4.8.14 x86, #833068Sam James2022-02-101-1/+1
* sci-mathematics/z3: Stabilize 4.8.14 amd64, #833068Jakov Smolić2022-02-101-2/+2
* sci-mathematics/z3: Remove oldMichał Górny2022-01-112-104/+0
* sci-mathematics/z3: Stabilize 4.8.13 arm64, #830771Sam James2022-01-101-1/+1
* sci-mathematics/z3: Stabilize 4.8.13 arm, #830771Sam James2022-01-091-1/+1
* sci-mathematics/z3: Stabilize 4.8.13 ppc64, #830771Sam James2022-01-091-1/+1
* sci-mathematics/z3: Stabilize 4.8.13 amd64, #830771Jakov Smolić2022-01-081-1/+1
* sci-mathematics/z3: Stabilize 4.8.13 x86, #830771Jakov Smolić2022-01-081-2/+2
* sci-mathematics/z3: Bump to 4.8.14Michał Górny2021-12-242-0/+104
* sci-mathematics/z3: Bump to 4.8.13Michał Górny2021-11-192-0/+104
* sci-mathematics/z3: fix build failure with USE="java"Alexander Golubev2021-10-201-1/+8
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
* sci-mathematics/z3: Remove oldMichał Górny2021-08-063-194/+0
* sci-mathematics/z3: Stabilize 4.8.11b arm64, #805470Sam James2021-08-061-1/+1
* sci-mathematics/z3: x86 stable wrt bug #805470Agostino Sarubbo2021-08-031-1/+1
* sci-mathematics/z3: Stabilize 4.8.11b arm, #805470Sam James2021-08-021-1/+1
* sci-mathematics/z3: Stabilize 4.8.11b amd64, #805470Sam James2021-08-021-1/+1
* sci-mathematics/z3: Stabilize 4.8.11b ppc64, #805470Sam James2021-08-011-1/+1
* sci-mathematics/z3: Bump to 4.8.11bMichał Górny2021-07-112-0/+97
* sci-mathematics/z3: Depend on dev-libs/gmp[cxx(+)]David Seifert2021-06-182-2/+2
* sci-mathematics/z3: Bump to 4.8.11Michał Górny2021-06-052-0/+97
* sci-mathematics/z3: Keyword 4.8.10 ppc, #708344Sam James2021-05-171-1/+1
* */*: Normalize metadata.xml filesMichał Górny2021-03-161-1/+1
* sci-mathematics/z3: Remove oldMichał Górny2021-03-062-97/+0
* sci-mathematics/z3: Stabilize 4.8.10 arm64, #774231Sam James2021-03-061-1/+1
* sci-mathematics/z3: Stabilize 4.8.10 arm, #774231Sam James2021-03-051-1/+1
* sci-mathematics/z3: Stabilize 4.8.10 ppc64, #774231Sam James2021-03-051-1/+1
* sci-mathematics/z3: amd64 stable wrt bug #774231Agostino Sarubbo2021-03-051-1/+1
* sci-mathematics/z3: x86 stable wrt bug #774231Agostino Sarubbo2021-03-051-1/+1
* */*: Remove obsolete values from PYTHON_COMPATMichał Górny2021-01-311-1/+1
* sci-mathematics/z3: Bump to 4.8.10Michał Górny2021-01-212-0/+97
* sci-mathematics/z3: Keyword 4.8.9 riscv, #756115Mikle Kolyada2020-12-041-1/+1
* sci-mathematics/z3: Remove oldMichał Górny2020-11-032-97/+0
* sci-mathematics/z3: Stabilize 4.8.9 amd64, #751145Sam James2020-11-031-1/+1
* sci-mathematics/z3: stable 4.8.9 for ppc64Sergei Trofimovich2020-10-261-1/+1
* sci-mathematics/z3: Stabilize 4.8.9 arm, #751145Sam James2020-10-261-1/+1
* sci-mathematics/z3: Stabilize 4.8.9 arm64, #751145Sam James2020-10-261-1/+1
* sci-mathematics/z3: x86 stable (bug #751145)Thomas Deutschmann2020-10-261-1/+1
* sci-mathematics/z3: Bump to 4.8.9Michał Górny2020-09-112-0/+97
* sci-mathematics/z3: Remove oldMichał Górny2020-08-052-94/+0
* sci-mathematics/z3: x86 stable wrt bug #734542Agostino Sarubbo2020-08-051-1/+1
* sci-mathematics/z3: amd64 stable wrt bug #734542Agostino Sarubbo2020-08-051-1/+1
* sci-mathematics/z3: stable 4.8.8 for ppc64Sergei Trofimovich2020-08-011-1/+1