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
Commit message (
Expand
)
Author
Age
Files
Lines
*
sci-mathematics/z3: remove unused patch(es)
Michael Mair-Keimberger
2019-12-12
1
-18
/
+0
*
sci-mathematics/pymc: [QA] Fix MissingTestRestrict
Michał Górny
2019-12-12
1
-0
/
+1
*
sci-mathematics/flint: [QA] Fix MissingTestRestrict
Michał Górny
2019-12-12
3
-6
/
+6
*
*/*: [QA] Remove redundant `|| die` guards
David Seifert
2019-12-11
5
-14
/
+12
*
*/*: [QA] Fix trivial cases of MissingTestRestrict
Michał Górny
2019-12-11
8
-1
/
+9
*
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/singular: Remove old
David Seifert
2019-12-08
10
-433
/
+0
*
sci-mathematics/unuran: Port to EAPI 7
David Seifert
2019-12-08
1
-21
/
+24
*
sci-mathematics/rngstreams: Port to EAPI 7
David Seifert
2019-12-08
1
-10
/
+22
*
sci-mathematics/rstudio: [QA] Fix AbsoluteSymlink
David Seifert
2019-12-07
2
-2
/
+2
*
sci-mathematics/rstudio: Remove old
David Seifert
2019-12-07
4
-753
/
+0
*
sci-mathematics/wxmaxima: bump to 19.12.1
Andrey Grozin
2019-12-07
2
-0
/
+50
*
sci-mathematics/gmm: version bump 5.3
Amy Liffey
2019-12-07
2
-0
/
+23
*
sci-mathematics/gmm: update HOMEPAGE, SRC_URI
Wim Muskee
2019-12-07
1
-3
/
+3
*
sci-mathematics/pymc3: Remove py2
Michał Górny
2019-12-04
1
-1
/
+1
*
sci-mathematics/coq: fix eclass usage
Michael Mair-Keimberger
2019-11-23
1
-1
/
+1
*
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/fann: EAPI-7 bump
Andreas Sturmlechner
2019-11-20
2
-6
/
+5
*
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/wxmaxima: bump to 19.11.0
Andrey Grozin
2019-11-15
2
-0
/
+50
*
sci-mathematics/petsc: more configuration fixes
Matthias Maier
2019-11-14
1
-6
/
+6
*
sci-mathematics/petsc: do not run mpiexec during configure
Matthias Maier
2019-11-14
2
-0
/
+33
*
sci-mathematics/petsc: fix configuration with USE=hypre
Matthias Maier
2019-11-14
2
-2
/
+93
*
sci-mathematics/slepc: version bump to 3.12.1
Matthias Maier
2019-11-14
2
-0
/
+76
*
sci-mathematics/petsc: version bump to 3.12.1
Matthias Maier
2019-11-14
3
-1
/
+195
*
*/*: Inline mirror://hackage and update URIs
Michał Górny
2019-11-10
2
-4
/
+4
*
sci-mathematics/coq: forward keywords again (forgotten)
Mikle Kolyada
2019-11-04
1
-1
/
+1
*
sci-mathematics/coq: migrate from dev-tex/xcolor
Mikle Kolyada
2019-11-04
4
-95
/
+3
*
sci-mathematics/wxmaxima: bump to 19.10.0
Andrey Grozin
2019-11-03
2
-0
/
+50
*
sci-mathematics/psmt2-frontend: fix make install
Tupone Alfredo
2019-10-29
1
-0
/
+3
*
sci-mathematics/alt-ergo: add dev-ml/seq dependency
Tupone Alfredo
2019-10-28
1
-0
/
+1
*
sci-mathematics/psmt2-frontend: rename configure.in to ac
Tupone Alfredo
2019-10-28
1
-0
/
+6
*
sci-mathematics/gimps: Remove old
PPed72
2019-10-24
3
-140
/
+0
*
sci-mathematics/gimps: x86 stable wrt bug #698320
Agostino Sarubbo
2019-10-23
1
-1
/
+1
*
sci-mathematics/gimps: amd64 stable wrt bug #698320
Agostino Sarubbo
2019-10-23
1
-1
/
+1
*
sci-mathematics/alt-ergo: stable
Tupone Alfredo
2019-10-21
1
-1
/
+1
*
sci-mathematics/psmt2-frontend: Stable version
Tupone Alfredo
2019-10-21
1
-1
/
+1
*
sci-mathematics/minisat: fix sed in header files
Jeffrey Lin
2019-10-21
1
-1
/
+1
*
sci-mathematics/rkward: Fix build with Qt 5.13 (?)
Andreas Sturmlechner
2019-10-21
4
-0
/
+81
*
sci-mathematics/rstudio: depend on qtwebengine[widgets]
Alessandro Barbieri
2019-10-20
1
-1
/
+1
*
sci-mathematics/maxima: Declare encoding of imaxima texinfo file.
Ulrich Müller
2019-10-18
2
-1
/
+13
*
sci-mathematics/gmp-ecm: drop old
Sergei Trofimovich
2019-10-16
2
-51
/
+0
*
sci-mathematics/rstudio: migrate to sys-libs/pam
Mikle Kolyada
2019-10-12
5
-10
/
+10
*
sci-mathematics: Remove *-fbsd KEYWORDS
Michał Górny
2019-10-11
8
-8
/
+8
*
sci-mathematics/why3-for-spark: version bump to 2019
Tupone Alfredo
2019-10-11
3
-0
/
+91
*
sci-mathematics/rw: new revision to fix the build.
Michael Orlitzky
2019-10-08
1
-0
/
+11
[next]