| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/why3-for-spark: dev-ml/camlzip-1.06 causes problem. |   Tupone Alfredo | 2017-11-06 | 1 | -1/+1 |
| | | | | | Package-Manager: Portage-2.3.8, Repoman-2.3.3 | ||||
| * | sci-mathematics/why3-for-spark: Add ocamlopt use flag | Tupone Alfredo | 2017-11-04 | 1 | -2/+10 |
| | | | | | Package-Manager: Portage-2.3.8, Repoman-2.3.3 | ||||
| * | sci-mathematics/why3-for-spark: Install libraries | Tupone Alfredo | 2017-11-04 | 1 | -0/+1 |
| | | | | | Package-Manager: Portage-2.3.8, Repoman-2.3.3 | ||||
| * | sci-mathematics/why3-for-spark: Enable coq tactics | Tupone Alfredo | 2017-11-01 | 2 | -1/+27 |
| | | | | | Package-Manager: Portage-2.3.8, Repoman-2.3.3 | ||||
| * | sci-mathematics/why3-for-spark: remove extra --disable-zip | Tupone Alfredo | 2017-10-25 | 1 | -1/+0 |
| | | | | | Package-Manager: Portage-2.3.8, Repoman-2.3.3 | ||||
| * | sci-mathematics/why3-for-spark: Add zip use flags | Tupone Alfredo | 2017-10-24 | 2 | -3/+6 |
| | | | | | Package-Manager: Portage-2.3.8, Repoman-2.3.3 | ||||
| * | sci-mathematics/why3-for-spark: Adding examples | Tupone Alfredo | 2017-10-24 | 1 | -0/+2 |
| | | | | | Package-Manager: Portage-2.3.8, Repoman-2.3.3 | ||||
| * | sci-mathematics/rstudio: version bump to 1.1.368 |   Sobhan Mohammadpour | 2017-10-24 | 3 | -0/+325 |
| | | | | | | | | | | | | | | | | | | | Bump to 1.1.368. This also updates the clang pandoc patch Fixes bug 626056, thanks to Harris Landgarten for reporting, Sobhan Mohammadpour for adding the missing dependency in 1.1.383. Fixes bug 626062 by bumping rstudio to version 1.1.383 that builds with R 3.4. Thanks to Harris Landgarten for reporting, jstein, Volkmar Glauche, Bernd Feige and yuri for testing and helping, Sobhan Mohammadpour for bumping rstudio in PR #6003. Fixes bug 622254, thanks to jstein for reporting, Volkmar Glauche, Bernd Feige, Carl W. Harlow, Rolf S. Arvidson, Oleg, Alex and Sobhan Mohammadpour for testing and helping. Fixes bug 633936, thanks to Neil for reporting, François Valenduc and Bernd for helping. Suggested-by: Bernd Feige <Bernd.Feige@gmx.net> Gentoo-bug: 626056, 626062. 622254, 633936 | ||||
| * | sci-mathematics/why3-for-spark: Fix SRC_URI | Tupone Alfredo | 2017-10-23 | 1 | -1/+1 |
| | | | | | Package-Manager: Portage-2.3.8, Repoman-2.3.3 | ||||
| * | sci-mathematics/why3-for-spark: Fix metadata.xml | Tupone Alfredo | 2017-10-20 | 1 | -23/+23 |
| | | | | | Package-Manager: Portage-2.3.8, Repoman-2.3.3 | ||||
| * | sci-mathematics/why3-for-spark: Adding why3 for spark | Tupone Alfredo | 2017-10-19 | 4 | -0/+116 |
| | | | | | Package-Manager: Portage-2.3.8, Repoman-2.3.3 | ||||
| * | sci-mathematics/rstudio: Drop old, Qt4WebKit rdeps |   Andreas Sturmlechner | 2017-10-15 | 17 | -1714/+0 |
| | | | | | | Gentoo-bug: 526660, 583100, 608134, 634280 Package-Manager: Portage-2.3.11, Repoman-2.3.3 | ||||
| * | sci-mathematics/rkward: Drop to ~arch | Andreas Sturmlechner | 2017-10-14 | 3 | -75/+0 |
| | | | | | | | | Old versions depended on Qt4WebKit which is about to be removed. Gentoo-bug: 622708 Package-Manager: Portage-2.3.11, Repoman-2.3.3 | ||||
| * | sci-mathematics/alt-ergo: Adding alt-ergo 1.30 | Tupone Alfredo | 2017-10-14 | 3 | -0/+51 |
| | | | | | Package-Manager: Portage-2.3.8, Repoman-2.3.3 | ||||
| * | sci-mathematics/rkward: add KF5 snapshot |   Michael Palimaka | 2017-10-12 | 2 | -0/+52 |
| | | | | | | Bug: https://bugs.gentoo.org/622708 Package-Manager: Portage-2.3.8, Repoman-2.3.3 | ||||
| * | sci-mathematics/octave: Fix >=qscintilla-2.10 detection | Andreas Sturmlechner | 2017-10-08 | 2 | -2/+12 |
| | | | | | | Gentoo-bug: 617024 Package-Manager: Portage-2.3.11, Repoman-2.3.3 | ||||
| * | sci-mathematics/maxima: bump to 5.41.0 |   Andrey Grozin | 2017-10-05 | 2 | -0/+209 |
| | | | | | Package-Manager: Portage-2.3.6, Repoman-2.3.3 | ||||
| * | sci-mathematics/flint: Fix FTBFS with PIE enabled |   Thomas Deutschmann | 2017-09-24 | 4 | -2/+23 |
| | | | | | | Closes: https://bugs.gentoo.org/608704 Package-Manager: Portage-2.3.10, Repoman-2.3.3 | ||||
| * | sci-mathematics/flint: Fix compilation with >=sys-devel/binutils-2.25.1 |   Alexander Tsoy | 2017-09-24 | 3 | -3/+17 |
| | | | | | | | Closes: https://bugs.gentoo.org/573868 Package-Manager: Portage-2.3.10, Repoman-2.3.3 Acked-by: Patrick Lauer <patrick@gentoo.org> | ||||
| * | sci-mathematics/flint: Cleanup old | Thomas Deutschmann | 2017-09-24 | 3 | -95/+0 |
| | | | | | Package-Manager: Portage-2.3.10, Repoman-2.3.3 | ||||
| * | sci-mathematics/isabelle: use HTTPS for links to dev.gentoo.org |   Francesco Turco | 2017-09-06 | 1 | -3/+3 |
| | | |||||
| * | sci-mathematics/Macaulay2: use HTTPS for links to dev.gentoo.org | Francesco Turco | 2017-09-06 | 1 | -2/+2 |
| | | |||||
| * | sci-mathematics/glpk: stable 4.63 for ia64, bug #626228 |   Sergei Trofimovich | 2017-09-02 | 1 | -1/+1 |
| | | | | | | Package-Manager: Portage-2.3.8, Repoman-2.3.3 RepoMan-Options: --include-arches="ia64" | ||||
| * | sci-mathematics/lpsolve: added ~arm64 keyword |   Roy Bamford | 2017-08-28 | 1 | -2/+2 |
| | | | | | Package-Manager: Portage-2.3.8, Repoman-2.3.3 | ||||
| * | sci-mathematics/cado-nfs: Remove last-rited pkg, #587942 |   Michał Górny | 2017-08-14 | 3 | -56/+0 |
| | | |||||
| * | sci-mathematics/z3: remove unused patch |   Michael Mair-Keimberger (asterix) | 2017-08-13 | 1 | -76/+0 |
| | | | | | Closes: https://github.com/gentoo/gentoo/pull/5370 | ||||
| * | sci-mathematics/gmm: fix homepage, src_uri |   Amy Liffey | 2017-08-11 | 1 | -2/+2 |
| | | | | | Package-Manager: Portage-2.3.6, Repoman-2.3.1 | ||||
| * | sci-mathematics/geogebra: remove unused patch | Michael Mair-Keimberger (asterix) | 2017-08-08 | 1 | -78/+0 |
| | | | | | Closes:#5349 | ||||
| * | sci-mathematics/rw: update proxy maintainer email | Amy Liffey | 2017-08-06 | 1 | -1/+1 |
| | | | | | Package-Manager: Portage-2.3.6, Repoman-2.3.1 | ||||
| * | sci-mathematics/4ti2: version bump |   Sébastien Fabbro | 2017-07-31 | 2 | -0/+44 |
| | | | | | Package-Manager: Portage-2.3.6, Repoman-2.3.3 | ||||
| * | sci-mathematics/normaliz: version bump | Sébastien Fabbro | 2017-07-31 | 3 | -4/+65 |
| | | | | | Package-Manager: Portage-2.3.6, Repoman-2.3.3 | ||||
| * | sci-mathematics/relational: remove 2.4 | Michael Palimaka | 2017-07-29 | 2 | -43/+0 |
| | | | | | Package-Manager: Portage-2.3.6, Repoman-2.3.3 | ||||
| * | sci-mathematics/arb: fixed for linking with PIE | Sébastien Fabbro | 2017-07-28 | 2 | -1/+21 |
| | | | | | Package-Manager: Portage-2.3.6, Repoman-2.3.3 | ||||
| * | sci-mathematics/glpk: bump. |   Robin H. Johnson | 2017-07-27 | 3 | -0/+157 |
| | | | | | | Fixes: https://bugs.gentoo.org/show_bug.cgi?id=626224 Package-Manager: portage-2.3.6 | ||||
| * | sci-mathematics/form: bump to 4.2.0 | Andrey Grozin | 2017-07-26 | 2 | -0/+82 |
| | | | | | Package-Manager: Portage-2.3.6, Repoman-2.3.2 | ||||
| * | sci-mathematics/arb: initial import, with help from sage-on-gentoo overlay | Sébastien Fabbro | 2017-07-25 | 3 | -0/+74 |
| | | | | | Package-Manager: Portage-2.3.6, Repoman-2.3.3 | ||||
| * | sci-mathematics/rstudio: Bump to 1.0.153 |   Mark Wright | 2017-07-24 | 2 | -0/+248 |
| | | | | | Package-Manager: portage-2.3.6 | ||||
| * | sci-mathematics/mathomatic: cleaning up, frozen package. | Sébastien Fabbro | 2017-07-21 | 4 | -54/+17 |
| | | | | | Package-Manager: Portage-2.3.6, Repoman-2.3.2 | ||||
| * | sci-mathematics/cgal: version bump | Sébastien Fabbro | 2017-07-21 | 4 | -115/+17 |
| | | | | | Package-Manager: Portage-2.3.6, Repoman-2.3.2 | ||||
| * | sci-mathematics/coq: bump to 8.6.1 |   Alexis Ballier | 2017-07-18 | 2 | -0/+92 |
| | | | | | Package-Manager: Portage-2.3.6, Repoman-2.3.2 | ||||
| * | sci-mathematics/coq: Remove old | Alexis Ballier | 2017-07-14 | 5 | -228/+0 |
| | | | | | Package-Manager: Portage-2.3.6, Repoman-2.3.2 | ||||
| * | sci-mathematics/nauty: version bump |   Christoph Junghans | 2017-07-10 | 2 | -0/+51 |
| | | | | | Package-Manager: Portage-2.3.6, Repoman-2.3.1 | ||||
| * | sci-mathematics/coq: ppc stable wrt bug #619676 |   Agostino Sarubbo | 2017-07-07 | 1 | -1/+1 |
| | | | | | | | Package-Manager: Portage-2.3.6, Repoman-2.3.1 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org> | ||||
| * | sci-mathematics/coq: x86 stable wrt bug #619676 | Agostino Sarubbo | 2017-07-07 | 1 | -1/+1 |
| | | | | | | | Package-Manager: Portage-2.3.6, Repoman-2.3.1 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org> | ||||
| * | sci-mathematics/coq: amd64 stable wrt bug #619676 | Agostino Sarubbo | 2017-07-07 | 1 | -1/+1 |
| | | | | | | | Package-Manager: Portage-2.3.6, Repoman-2.3.1 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org> | ||||
| * | sci-mathematics/freemat: remove last rited package | Michael Palimaka | 2017-07-04 | 6 | -197/+0 |
| | | | | | Gentoo-bug: 620752 | ||||
| * | sci-mathematics/glpk: ia64 keyworded, bug #575366 | Sergei Trofimovich | 2017-07-01 | 1 | -1/+1 |
| | | | | | Package-Manager: Portage-2.3.6, Repoman-2.3.2 | ||||
| * | sci-mathematics/glpk: ia64 keyworded, bug #575366 | Sergei Trofimovich | 2017-07-01 | 1 | -2/+2 |
| | | | | | Package-Manager: Portage-2.3.6, Repoman-2.3.2 | ||||
| * | sci-mathematics/pymc3: version bump | Sébastien Fabbro | 2017-06-28 | 2 | -3/+4 |
| | | | | | Package-Manager: Portage-2.3.6, Repoman-2.3.2 | ||||
| * | sci-mathematics/glpk: keyword ~arm64 | Alexis Ballier | 2017-06-22 | 1 | -1/+1 |
| | | | | | Package-Manager: Portage-2.3.6, Repoman-2.3.2 | ||||
GitWeb