GitWeb
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Gentoo Repository
Repositories
Projects
Developer Overlays
User Overlays
Data
Websites
index
:
repo/sync/gentoo.git
master
stable
Sync-friendly git mirror of repo/gentoo with caches and metadata
Michał Górny <mgorny@gentoo.org>
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
sci-mathematics
/
z3
Commit message (
Expand
)
Author
Age
Files
Lines
*
sci-mathematics/z3: Depend on dev-libs/gmp[cxx(+)]
David Seifert
2021-06-18
2
-2
/
+2
*
sci-mathematics/z3: Bump to 4.8.11
Michał Górny
2021-06-05
2
-0
/
+97
*
sci-mathematics/z3: Keyword 4.8.10 ppc, #708344
Sam James
2021-05-17
1
-1
/
+1
*
*/*: Normalize metadata.xml files
Michał Górny
2021-03-16
1
-1
/
+1
*
sci-mathematics/z3: Remove old
Michał Górny
2021-03-06
2
-97
/
+0
*
sci-mathematics/z3: Stabilize 4.8.10 arm64, #774231
Sam James
2021-03-06
1
-1
/
+1
*
sci-mathematics/z3: Stabilize 4.8.10 arm, #774231
Sam James
2021-03-05
1
-1
/
+1
*
sci-mathematics/z3: Stabilize 4.8.10 ppc64, #774231
Sam James
2021-03-05
1
-1
/
+1
*
sci-mathematics/z3: amd64 stable wrt bug #774231
Agostino Sarubbo
2021-03-05
1
-1
/
+1
*
sci-mathematics/z3: x86 stable wrt bug #774231
Agostino Sarubbo
2021-03-05
1
-1
/
+1
*
*/*: Remove obsolete values from PYTHON_COMPAT
Michał Górny
2021-01-31
1
-1
/
+1
*
sci-mathematics/z3: Bump to 4.8.10
Michał Górny
2021-01-21
2
-0
/
+97
*
sci-mathematics/z3: Keyword 4.8.9 riscv, #756115
Mikle Kolyada
2020-12-04
1
-1
/
+1
*
sci-mathematics/z3: Remove old
Michał Górny
2020-11-03
2
-97
/
+0
*
sci-mathematics/z3: Stabilize 4.8.9 amd64, #751145
Sam James
2020-11-03
1
-1
/
+1
*
sci-mathematics/z3: stable 4.8.9 for ppc64
Sergei Trofimovich
2020-10-26
1
-1
/
+1
*
sci-mathematics/z3: Stabilize 4.8.9 arm, #751145
Sam James
2020-10-26
1
-1
/
+1
*
sci-mathematics/z3: Stabilize 4.8.9 arm64, #751145
Sam James
2020-10-26
1
-1
/
+1
*
sci-mathematics/z3: x86 stable (bug #751145)
Thomas Deutschmann
2020-10-26
1
-1
/
+1
*
sci-mathematics/z3: Bump to 4.8.9
Michał Górny
2020-09-11
2
-0
/
+97
*
sci-mathematics/z3: Remove old
Michał Górny
2020-08-05
2
-94
/
+0
*
sci-mathematics/z3: x86 stable wrt bug #734542
Agostino Sarubbo
2020-08-05
1
-1
/
+1
*
sci-mathematics/z3: amd64 stable wrt bug #734542
Agostino Sarubbo
2020-08-05
1
-1
/
+1
*
sci-mathematics/z3: stable 4.8.8 for ppc64
Sergei Trofimovich
2020-08-01
1
-1
/
+1
*
sci-mathematics/z3: arm stable (bug #734542)
Sam James
2020-07-31
1
-1
/
+1
*
sci-mathematics/z3: arm64 stable (bug #734542)
Sam James
2020-07-30
1
-1
/
+1
*
sci-mathematics/z3: drop haskell@ from maintainers
Sergei Trofimovich
2020-06-21
1
-4
/
+0
*
sci-mathematics/z3: Port to cmake.eclass
Michał Górny
2020-06-08
1
-2
/
+3
*
sci-mathematics/z3: Remove redundant longdesc
Michał Górny
2020-05-14
1
-3
/
+0
*
sci-mathematics/z3: Bump to 4.8.8
Michał Górny
2020-05-14
2
-0
/
+96
*
sci-mathematics/z3-4.8.6: Add missing dep on dev-libs/gmp[cxx]
Patrick McLean
2020-03-20
1
-1
/
+1
*
sci-mathematics/z3: Remove py2
Michał Górny
2020-02-10
1
-1
/
+1
*
*/*: Clean PYTHON_COMPAT of obsolete impls
Michał Górny
2020-01-05
1
-2
/
+2
*
sci-mathematics/z3: remove unused patch(es)
Michael Mair-Keimberger
2019-12-12
1
-18
/
+0
*
sci-mathematics/z3: Tested on python3.8
Michał Górny
2019-12-08
1
-1
/
+1
*
sci-mathematics/z3: Remove old
David Seifert
2019-12-08
4
-473
/
+0
*
sci-mathematics/z3: arm64 stable (bug #700296)
Aaron Bauman
2019-11-23
1
-1
/
+1
*
sci-mathematics/z3: arm stable wrt bug #700296
Mikle Kolyada
2019-11-22
1
-1
/
+1
*
sci-mathematics/z3: ppc64 stable wrt bug #700296
Agostino Sarubbo
2019-11-20
1
-1
/
+1
*
sci-mathematics/z3: x86 stable wrt bug #700296
Agostino Sarubbo
2019-11-19
1
-1
/
+1
*
sci-mathematics/z3: amd64 stable wrt bug #700296
Agostino Sarubbo
2019-11-18
1
-1
/
+1
*
sci-mathematics/z3: Bump to 4.8.6
Michał Górny
2019-09-20
2
-0
/
+94
*
sci-mathematics/z3: arm64 stable (bug #693856)
Aaron Bauman
2019-09-16
1
-1
/
+1
*
sci-mathematics/z3: arm stable wrt bug #693856
Mikle Kolyada
2019-09-13
1
-1
/
+1
*
sci-mathematics/z3: ppc64 stable wrt bug #693856
Agostino Sarubbo
2019-09-11
1
-1
/
+1
*
sci-mathematics/z3: x86 stable wrt bug #693856
Agostino Sarubbo
2019-09-10
1
-1
/
+1
*
sci-mathematics/z3: amd64 stable wrt bug #693856
Agostino Sarubbo
2019-09-10
1
-1
/
+1
*
sci-mathematics/z3: Drop old
Michał Górny
2019-06-08
2
-107
/
+0
*
sci-mathematics/z3: Bump to 4.8.5
Michał Górny
2019-06-01
2
-0
/
+107
*
*/*: Remove python3_4 PYTHON_COMPAT correctly
Michał Górny
2019-04-17
1
-1
/
+1
[next]