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: 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
*
sci-mathematics/rw: new version 0.8.
Michael Orlitzky
2019-10-07
3
-5
/
+8
*
sci-mathematics/kodkod: Remove last-rited pkg
Michał Górny
2019-10-07
4
-192
/
+0
*
sci-mathematics/coq: Bump to 8.9.1
Mark Wright
2019-09-24
2
-0
/
+87
*
sci-mathematics/gimps: Cleanup old version
PPed72
2019-09-23
2
-62
/
+0
*
sci-mathematics/gimps: version bump to version 29.8b6
PPed72
2019-09-23
2
-0
/
+72
*
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/gmp-ecm: Fix custom-tune useflag
Patrick Lauer
2019-09-15
1
-2
/
+1
*
sci-mathematics/isabelle: Remove last-rited pkg
Michał Górny
2019-09-14
13
-647
/
+0
*
sci-mathematics/cvc3: Remove last-rited pkg
Michał Górny
2019-09-14
5
-266
/
+0
*
sci-mathematics/e: Remove last-rited pkg
Michał Górny
2019-09-14
5
-238
/
+0
*
sci-mathematics/kodkodi: Remove last-rited pkg
Michał Górny
2019-09-14
3
-127
/
+0
*
sci-mathematics/spass: Remove last-rited pkg
Michał Górny
2019-09-14
3
-163
/
+0
*
sci-mathematics/wxmaxima: bump to 19.09.0
Andrey Grozin
2019-09-14
2
-0
/
+46
*
sci-mathematics/z3: arm stable wrt bug #693856
Mikle Kolyada
2019-09-13
1
-1
/
+1
*
sci-mathematics/alt-ergo: fix BadInsIntoDir warning
Tupone Alfredo
2019-09-12
2
-4
/
+2
*
sci-mathematics/e: Bump to 2.3, fix HOMEPAGE and SRC_URI
Mark Wright
2019-09-11
5
-256
/
+84
*
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/alt-ergo: fix build
Tupone Alfredo
2019-09-07
1
-1
/
+3
*
sci-mathematics/drgeo: Remove
Matt Turner
2019-09-01
4
-129
/
+0
*
sci-mathematics/num-utils: Remove old
David Seifert
2019-08-29
2
-28
/
+0
*
sci-mathematics/gmp-ecm: Bump
Patrick Lauer
2019-08-25
2
-0
/
+56
*
sci-mathematics/octave: Bump to 5.1.0.
Benda Xu
2019-08-25
3
-0
/
+236
*
sci-mathematics/rstudio: Fix #692728 dep webkit -> webengine
Mark Wright
2019-08-23
1
-1
/
+1
*
sci-mathematics/spass: add missing slash
Thomas Deutschmann
2019-08-22
1
-1
/
+1
*
sci-mathematics/rstudio: fix slashes
Thomas Deutschmann
2019-08-22
1
-3
/
+3
*
sci-mathematics/spass: fix missing slashes
Thomas Deutschmann
2019-08-22
1
-7
/
+7
*
sci-mathematics/rstudio: fix missing slashes
Thomas Deutschmann
2019-08-22
1
-3
/
+3
*
sci-mathematics/spass: Fix #645394, remove old
Mark Wright
2019-08-22
3
-86
/
+4
*
sci-mathematics/rstudio: Bump to 1.2.1335, fix compile with >=boost 1.70.0
Mark Wright
2019-08-22
17
-383
/
+1451
*
sci-mathematics/wxmaxima: bump to 19.08.1
Andrey Grozin
2019-08-18
2
-0
/
+58
*
sci-mathematics/wxmaxima: cleaning old versions
Andrey Grozin
2019-08-18
3
-134
/
+0
*
sci-mathematics/slepc: port to EAPI 7
Matthias Maier
2019-08-05
1
-6
/
+6
*
sci-mathematics/slepc: package migration from ::science overlay
Matthias Maier
2019-08-05
3
-0
/
+91
*
sci-mathematics/petsc: package migration from ::science overlay
Matthias Maier
2019-08-05
5
-0
/
+252
*
sci-mathematics/gwnum: Remove last-rited package
David Seifert
2019-08-01
3
-42
/
+0
*
sci-mathematics/lpsolve: arm64 stable
Aaron Bauman
2019-07-30
1
-2
/
+2
*
sci-mathematics/alt-ergo: bump to 2.3.0
Tupone Alfredo
2019-07-27
2
-0
/
+43
*
sci-mathematics/psmt2-frontend: add psmt2-frontend
Tupone Alfredo
2019-07-26
4
-0
/
+60
*
sci-mathematics/alt-ergo: Fix dependency
Tupone Alfredo
2019-07-25
1
-2
/
+2
*
sci-mathematics/cvc4: Add readline use flag
Tupone Alfredo
2019-07-25
1
-1
/
+3
*
sci-mathematics/yacas: Drop broken 1.7.0 (r0)
Andreas Sturmlechner
2019-07-24
1
-53
/
+0
*
sci-mathematics/yacas: Fix desktop file icon path
Andreas Sturmlechner
2019-07-24
2
-1
/
+28
*
sci-mathematics/yacas: Disable cmake external downloads, use bundled
Andreas Sturmlechner
2019-07-24
3
-0
/
+170
*
sci-mathematics/cvc4: add statistics, replay and proofs use flag
Tupone Alfredo
2019-07-23
2
-1
/
+8
[next]