summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/z3: Remove oldMichał Górny2022-06-063-213/+0
* sci-mathematics/z3: Stabilize 4.8.17 amd64, #850061Jakov Smolić2022-06-061-1/+1
* sci-mathematics/z3: Stabilize 4.8.17 x86, #850061Jakov Smolić2022-06-061-1/+1
* sci-mathematics/z3: Stabilize 4.8.17 arm64, #850061Jakov Smolić2022-06-061-1/+1
* sci-mathematics/z3: Stabilize 4.8.17 ppc64, #850061Jakov Smolić2022-06-061-1/+1
* sci-mathematics/z3: Stabilize 4.8.17 arm, #850061Jakov Smolić2022-06-061-1/+1
* sci-mathematics/z3: Bump to 4.8.17Michał Górny2022-05-052-0/+109
* sci-mathematics/z3: Remove oldMichał Górny2022-04-263-168/+0
* sci-mathematics/z3: Stabilize 4.8.15-r1 ppc64, #840665Arthur Zamarin2022-04-261-1/+1
* sci-mathematics/z3: Keyword 4.8.16 sparc, #779742Sam James2022-04-261-1/+1
* sci-mathematics/z3: Stabilize 4.8.15-r1 arm, #840665Arthur Zamarin2022-04-251-1/+1
* sci-mathematics/z3: Stabilize 4.8.15-r1 arm64, #840665Arthur Zamarin2022-04-251-1/+1
* sci-mathematics/z3: Stabilize 4.8.15-r1 x86, #840665Sam James2022-04-251-1/+1
* sci-mathematics/z3: Stabilize 4.8.15-r1 amd64, #840665Sam James2022-04-251-1/+1
* sci-mathematics/z3: Bump to 4.8.16Michał Górny2022-04-242-0/+109
* 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