| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| ... | |
| * | sci-mathematics/gimps: Remove old |   PPed72 | 2021-03-19 | 2 | -74/+0 |
| * | sci-mathematics/gimps: Version bump to 30.5 build 1 | PPed72 | 2021-03-19 | 2 | -0/+76 |
| * | sci-mathematics/topcom: removing doc use flag, unconditional installation |   François Bissey | 2021-03-16 | 1 | -6/+4 |
| * | sci-mathematics/topcom: define HTML_DOCS only when doc is in USE. | François Bissey | 2021-03-16 | 1 | -2/+4 |
| * | */*: Add proxied="yes" for non-@gentoo.org people |   Michał Górny | 2021-03-16 | 14 | -14/+14 |
| * | */*: Add 'proxied="proxy"' for proxy-maint project | Michał Górny | 2021-03-16 | 14 | -14/+14 |
| * | */*: Normalize metadata.xml files | Michał Górny | 2021-03-16 | 6 | -6/+5 |
| * | sci-mathematics/agda: allow ghc-8.10.4 |   Sergei Trofimovich | 2021-03-15 | 1 | -1/+4 |
| * | sci-mathematics/flint: add missing dev-tex/latexmk dependency. |   Michael Orlitzky | 2021-03-15 | 1 | -0/+1 |
| * | sci-mathematics/coq: drop 8.6.1-r1, 8.9.1-r1 |   Sam James | 2021-03-13 | 4 | -182/+0 |
| * | sci-mathematics/fann: Revert multilib support |   Andreas Sturmlechner | 2021-03-12 | 2 | -9/+9 |
| * | sci-mathematics/octave: new upstream version 6.2.0. | Michael Orlitzky | 2021-03-10 | 2 | -2/+2 |
| * | sci-mathematics/topcom: new revision to fixup examples install. | Michael Orlitzky | 2021-03-07 | 1 | -1/+4 |
| * | sci-mathematics/topcom: new version |   Alessandro Barbieri | 2021-03-07 | 3 | -0/+211 |
| * | 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 |
| * | sci-mathematics/yafu: Port to EAPI 7 |   Jakov Smolic | 2021-03-03 | 3 | -34/+38 |
| * | sci-mathematics/gfan: adapt to newer cddlib | François Bissey | 2021-03-02 | 1 | -0/+67 |
| * | sci-mathematics/cliquer: upstream bump | François Bissey | 2021-02-28 | 2 | -0/+30 |
| * | sci-mathematics/rw: new upstream version | François Bissey | 2021-02-28 | 2 | -0/+30 |
| * | sci-mathematics/4ti2: Remove old | Jakov Smolic | 2021-02-27 | 2 | -38/+0 |
| * | sci-mathematics/4ti2: Stabilize 1.6.7 amd64, #770634 | Sam James | 2021-02-27 | 1 | -1/+1 |
| * | sci-mathematics/maxima: remove unused patches |   Michael Mair-Keimberger | 2021-02-27 | 3 | -82/+0 |
| * | sci-mathematics/dataplot: fix build with gcc 10 | Sam James | 2021-02-27 | 1 | -6/+19 |
| * | sci-mathematics/bertini: EAPI 7, gcc 10, CFLAGS | Sam James | 2021-02-27 | 1 | -21/+25 |
| * | sci-mathematics/4ti2: x86 stable wrt bug #770634 | Agostino Sarubbo | 2021-02-25 | 1 | -1/+1 |
| * | sci-mathematics/cgal: Stabilize 5.2 x86, #771270 | Sam James | 2021-02-25 | 1 | -1/+1 |
| * | sci-mathematics/4ti2: Stabilize 1.6.7 ppc, #770634 | Sam James | 2021-02-24 | 1 | -1/+1 |
| * | sci-mathematics/gimps: Remove obsoleted version | PPed72 | 2021-02-22 | 2 | -74/+0 |
| * | sci-mathematics/gimps: Version bump to 30.4 build 9 | PPed72 | 2021-02-22 | 2 | -0/+74 |
| * | sci-mathematics/euler: port to EAPI 7 | Sam James | 2021-02-21 | 6 | -37/+31 |
| * | sci-mathematics/cgal: Stabilize 5.2 amd64, #771270 | Sam James | 2021-02-19 | 1 | -2/+2 |
| * | sci-mathematics/cgal: Drop 4.11.3 | Andreas Sturmlechner | 2021-02-18 | 2 | -82/+0 |
| * | sci-mathematics/ginac: Drop 1.6.6, EAPI5-- | Andreas Sturmlechner | 2021-02-16 | 2 | -59/+0 |
| * | sci-mathematics/ginac: Stabilize 1.7.11 ppc, #766797 | Sam James | 2021-02-16 | 1 | -1/+1 |
| * | sci-mathematics/4ti2: Port to EAPI 7 | Jakov Smolic | 2021-02-15 | 2 | -16/+5 |
| * | sci-mathematics/diagrtb: EAPI-7 bump, use cmake.eclass | Andreas Sturmlechner | 2021-02-14 | 2 | -6/+7 |
| * | sci-mathematics/coq: Stabilize 8.12.0-r1 x86, #769317 | Sam James | 2021-02-11 | 1 | -1/+1 |
| * | sci-mathematics/coq: Stabilize 8.12.0-r1 amd64, #769317 | Sam James | 2021-02-10 | 1 | -1/+1 |
| * | sci-mathematics/why3-for-spark: fix dep |   Alfredo Tupone | 2021-02-10 | 1 | -1/+1 |
| * | sci-mathematics/ginac: Stabilize 1.7.11 amd64, #766797 | Sam James | 2021-02-09 | 1 | -1/+1 |
| * | sci-mathematics/why3-for-spark: version bump to 2020 | Alfredo Tupone | 2021-02-09 | 5 | -0/+173 |
| * | sci-mathematics/coq: bumping back to 8.11.2 | Alfredo Tupone | 2021-02-09 | 2 | -0/+91 |
| * | sci-mathematics/ginac: Stabilize 1.7.11 x86, #766797 | Sam James | 2021-02-09 | 1 | -1/+1 |
| * | sci-mathematics/coq: bump to 8.13.0 | Sam James | 2021-02-08 | 2 | -0/+89 |
| * | sci-mathematics/coq: add github remote-id | Sam James | 2021-02-08 | 1 | -0/+3 |
GitWeb
