| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | sci-mathematics/lpsolve: add 5.5.2.11 |   Sam James | 2023-02-03 | 3 | -0/+380 |
| | | | | | | | | Note that this is -r1 because of e00dce2f8eabd06e24eabd8f4d940d6dcec1ebc2. Closes: https://bugs.gentoo.org/614866 Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | Revert "sci-mathematics/lpsolve: add 5.5.2.11" | Sam James | 2023-02-03 | 3 | -368/+0 |
| | | | | | | | | | | This reverts commit 4d99a7bbea555c90ad7a180ac42de81579464dee. I didn't mean to push this yet. Bug: https://bugs.gentoo.org/614866 Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/lpsolve: add 5.5.2.11 | Sam James | 2023-02-03 | 3 | -0/+368 |
| | | | | | | Closes: https://bugs.gentoo.org/614866 Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/easycrypt: H -> COMMIT |   Maciej Barć | 2023-02-02 | 2 | -10/+10 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq-mathcomp: bump to 1.16.0 | Maciej Barć | 2023-02-02 | 2 | -0/+18 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/alt-ergo: drop 2.3.0-r1, 2.4.1_p20220407-r1 |   Andreas Sturmlechner | 2023-01-30 | 3 | -110/+0 |
| | | | | | | | | | 2.3.0-r1 overshadowed by 2.4.1-r2 2.4.1_p20220407-r1 overshadowed by 2.4.2-r1 Closes: https://bugs.gentoo.org/769332 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org> | ||||
| * | sci-mathematics/alt-ergo: Stabilize 2.4.2-r1 amd64, #892271 | Sam James | 2023-01-30 | 1 | -2/+2 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/cvc4: drop 1.7-r1 |   Alfredo Tupone | 2023-01-29 | 4 | -107/+0 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | sci-mathematics/picosat: Stabilize 965 amd64, #892299 | Sam James | 2023-01-28 | 1 | -2/+2 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/cadabra: Stabilize 2.4.3.2 amd64, #892303 | Sam James | 2023-01-28 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/smtinterpol: Stabilize 2.5_p20211018 amd64, #892295 | Sam James | 2023-01-28 | 1 | -2/+2 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/mathlib-tools: patch to use tomli(-w) | Maciej Barć | 2023-01-27 | 3 | -6/+93 |
| | | | | | | Closes: https://bugs.gentoo.org/878681 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/mathlib-tools: drop old 1.3.1 | Maciej Barć | 2023-01-27 | 2 | -54/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/mathlib-tools: drop old 1.3.0 | Maciej Barć | 2023-01-27 | 2 | -54/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq-serapi: remove ppx_sexp_conv restriction | Maciej Barć | 2023-01-27 | 1 | -1/+2 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/arb: drop 2.19.0, 2.21.0, 2.22.1 | Andreas Sturmlechner | 2023-01-26 | 7 | -225/+0 |
| | | | | | Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org> | ||||
| * | sci-mathematics/pari: patch update for upstream bug 2441. |   Michael Orlitzky | 2023-01-26 | 3 | -23/+35 |
| | | | | | | Closes: https://bugs.gentoo.org/892035 Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/pari: new ~arch revision, cleanup old. | Michael Orlitzky | 2023-01-25 | 4 | -139/+41 |
| | | | | | | | | | | | | | | | The new pari-2.15.2-r1... * Separates out a new flag, USE=examples; * Replaces an old "permanent" patch with a new temporary one (already committed upstream) needed to install the documentation properly; * Drops an an old hack for -O0 because I can no longer reproduce the issue that motivated it. Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/singular: add myself as a maintainer | Michael Orlitzky | 2023-01-23 | 1 | -0/+4 |
| | | | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/pspp: drop 1.6.0-r1, 1.6.2-r1 | Michael Orlitzky | 2023-01-23 | 3 | -167/+0 |
| | | | | | | Bug: https://bugs.gentoo.org/868618 Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/pspp: Stabilize 1.6.2-r2 x86, #890706 |   Arthur Zamarin | 2023-01-23 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/geogebra-bin: drop 5.0.683.0 |   Georgy Yakovlev | 2023-01-22 | 2 | -56/+0 |
| | | | | | Signed-off-by: Georgy Yakovlev <gyakovlev@gentoo.org> | ||||
| * | sci-mathematics/maxima: this version is incompatible with the new gcl-2.6.14 |   Andrey Grozin | 2023-01-22 | 1 | -1/+1 |
| | | | | | | | the new version of maxima will require >=gcl-2.6.14 Signed-off-by: Andrey Grozin <grozin@gentoo.org> | ||||
| * | sci-mathematics/pari: move LDFLAGS patch into the ebuild. | Michael Orlitzky | 2023-01-21 | 1 | -2/+3 |
| | | | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/pari: move STRIP override patch into the ebuild. | Michael Orlitzky | 2023-01-21 | 1 | -2/+5 |
| | | | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/z3: Bump to 4.12.1 |   Michał Górny | 2023-01-19 | 2 | -0/+108 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | sci-mathematics/nauty: add upstream patch for gentourng and gentreeg. | Michael Orlitzky | 2023-01-17 | 2 | -1/+146 |
| | | | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | ||||
| * | sci-mathematics/ent: update SRC_URI |   Jonas Stein | 2023-01-17 | 2 | -2/+2 |
| | | | | | | | SRC_URI was the gentoo mirror. Signed-off-by: Jonas Stein <jstein@gentoo.org> | ||||
| * | sci-mathematics/ent: update DESCRIPTION, HOMEPAGE | Jonas Stein | 2023-01-17 | 1 | -3/+3 |
| | | | | | Signed-off-by: Jonas Stein <jstein@gentoo.org> | ||||
| * | sci-mathematics/pari: add 2.15.2 |   François Bissey | 2023-01-16 | 3 | -0/+150 |
| | | | | | | | Closes: https://github.com/gentoo/gentoo/pull/29112 Signed-off-by: Michael Orlitzky <mjo@gentoo.org> Signed-off-by: François Bissey <frp.bissey@gmail.com> | ||||
| * | sci-mathematics/form: set VARTEXFONTS | Andrey Grozin | 2023-01-15 | 1 | -2/+2 |
| | | | | | | Closes: https://bugs.gentoo.org/890921 Signed-off-by: Andrey Grozin <grozin@gentoo.org> | ||||
| * | sci-mathematics/form: remove old revision | Andrey Grozin | 2023-01-15 | 1 | -81/+0 |
| | | | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org> | ||||
| * | sci-mathematics/form: DEPEND on latexrecommended | Andrey Grozin | 2023-01-15 | 3 | -0/+104 |
| | | | | | | Closes: https://bugs.gentoo.org/873607 Signed-off-by: Andrey Grozin <grozin@gentoo.org> | ||||
| * | sci-mathematics/z3: Bump to 4.12.0 | Michał Górny | 2023-01-15 | 2 | -0/+108 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | */*: remove py3.8 from PYTHON_COMPAT |   David Seifert | 2023-01-14 | 29 | -56/+56 |
| | | | | | Signed-off-by: David Seifert <soap@gentoo.org> | ||||
| * | sci-mathematics/form: bump to 4.3.0 | Andrey Grozin | 2023-01-14 | 2 | -0/+82 |
| | | | | | Signed-off-by: Andrey Grozin <grozin@gentoo.org> | ||||
| * | sci-mathematics/yices2: do not install static libs | Maciej Barć | 2023-01-14 | 1 | -1/+3 |
| | | | | | | Closes: https://bugs.gentoo.org/890758 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/opensmt: prevent fetching googletest | Maciej Barć | 2023-01-13 | 2 | -0/+76 |
| | | | | | | Closes: https://bugs.gentoo.org/890722 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/opensmt: do not install static libs | Maciej Barć | 2023-01-13 | 1 | -1/+2 |
| | | | | | | Closes: https://bugs.gentoo.org/890724 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/pspp: Stabilize 1.6.2-r2 amd64, #890706 | Sam James | 2023-01-13 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/btor2tools: remove unused patch | Maciej Barć | 2023-01-13 | 1 | -28/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/boolector: fix build to not require static libs | Maciej Barć | 2023-01-13 | 1 | -0/+1 |
| | | | | | | | Bug: https://bugs.gentoo.org/890700 Bug: https://bugs.gentoo.org/890698 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/btor2tools: do not install static libraries | Maciej Barć | 2023-01-13 | 1 | -4/+1 |
| | | | | | | Closes: https://bugs.gentoo.org/890698 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | Revert "sci-mathematics/picosat: also install static libraries" | Maciej Barć | 2023-01-13 | 1 | -2/+1 |
| | | | | | | | | This reverts commit 7adf72129265d77da74162a048fb2f9ec9a4005a. Closes: https://bugs.gentoo.org/890700 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/octave: Stabilize 6.4.0-r5 arm64, #886641 | Arthur Zamarin | 2023-01-13 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | sci-mathematics/gimps: Stabilize 30.8.17 amd64, #890640 | Sam James | 2023-01-13 | 1 | -2/+2 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/gimps: Stabilize 30.8.15 amd64, #890640 | Sam James | 2023-01-13 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/gimps: Stabilize 30.8.15 x86, #890640 | Sam James | 2023-01-13 | 1 | -2/+2 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | sci-mathematics/cryptominisat: bump to 5.11.4 | Maciej Barć | 2023-01-12 | 2 | -0/+39 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | sci-mathematics/coq-serapi: drop old 0.15.0-r3 | Maciej Barć | 2023-01-12 | 2 | -65/+0 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
GitWeb