| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | sci-mathematics/octave: Stabilize 7.3.0-r1 amd64, #887013 |   Arthur Zamarin | 2022-12-18 | 1 | -1/+1 | |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | |||||
| * | sci-mathematics/octave: Stabilize 7.3.0-r1 x86, #887013 | Arthur Zamarin | 2022-12-18 | 1 | -1/+1 | |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | |||||
| * | sci-mathematics/cgal: Stabilize 5.5 amd64, #886895 | Arthur Zamarin | 2022-12-18 | 1 | -1/+1 | |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | |||||
| * | sci-mathematics/octave: Stabilize 7.3.0-r1 arm, #887013 | Arthur Zamarin | 2022-12-18 | 1 | -1/+1 | |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | |||||
| * | sci-mathematics/octave: Stabilize 7.3.0-r1 arm64, #887013 | Arthur Zamarin | 2022-12-18 | 1 | -1/+1 | |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | |||||
| * | sci-mathematics/octave: Stabilize 6.4.0-r4 amd64, #886641 | Arthur Zamarin | 2022-12-18 | 1 | -1/+1 | |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | |||||
| * | sci-mathematics/flint: Stabilize 2.9.0 x86, #864999 | Arthur Zamarin | 2022-12-18 | 1 | -1/+1 | |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | |||||
| * | sci-mathematics/arb: Stabilize 2.23.0 x86, #864999 | Arthur Zamarin | 2022-12-18 | 1 | -1/+1 | |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | |||||
| * | sci-mathematics/flint: Stabilize 2.9.0 amd64, #864999 | Arthur Zamarin | 2022-12-18 | 1 | -1/+1 | |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | |||||
| * | sci-mathematics/arb: Stabilize 2.23.0 amd64, #864999 | Arthur Zamarin | 2022-12-18 | 1 | -1/+1 | |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | |||||
| * | sci-mathematics/cgal: Stabilize 5.5 x86, #886895 | Arthur Zamarin | 2022-12-18 | 1 | -1/+1 | |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | |||||
| * | sci-mathematics/octave: Stabilize 6.4.0-r4 x86, #886641 |   Sam James | 2022-12-18 | 1 | -1/+1 | |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | |||||
| * | sci-mathematics/mathlib-tools: drop old 1.2.0 |   Maciej Barć | 2022-12-17 | 2 | -52/+0 | |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | |||||
| * | sci-mathematics/mathlib-tools: bump to 1.3.2 | Maciej Barć | 2022-12-17 | 2 | -0/+54 | |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | |||||
| * | sci-mathematics/gmm: add 5.4.2 |   Amy Liffey | 2022-12-16 | 2 | -0/+14 | |
| | | | | | Signed-off-by: Amy Liffey <amynka@gentoo.org> | |||||
| * | sci-mathematics/lean: bump to 3.50.0 | Maciej Barć | 2022-12-15 | 2 | -0/+78 | |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | |||||
| * | sci-mathematics/lean: drop old 3.48.0 | Maciej Barć | 2022-12-15 | 2 | -78/+0 | |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | |||||
| * | sci-mathematics/lean: drop old 3.47.0 | Maciej Barć | 2022-12-15 | 2 | -78/+0 | |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | |||||
| * | sci-mathematics/polymake: stabilize 4.6-r1 for amd64 |   Andreas K. Hüttel | 2022-12-11 | 1 | -1/+1 | |
| | | | | | | Closes: https://bugs.gentoo.org/866253 Signed-off-by: Andreas K. Hüttel <dilfridge@gentoo.org> | |||||
| * | sci-mathematics/cadabra: drop old 2.4.0.2 | Maciej Barć | 2022-12-06 | 2 | -105/+0 | |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | |||||
| * | sci-mathematics/cadabra: drop old 2.3.9.3 | Maciej Barć | 2022-12-06 | 2 | -100/+0 | |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | |||||
| * | sci-mathematics/cadabra: bump to 2.4.3.2 | Maciej Barć | 2022-12-06 | 2 | -0/+105 | |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | |||||
| * | sci-mathematics/picosat: fix patch apply | Maciej Barć | 2022-12-06 | 1 | -1/+4 | |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | |||||
| * | sci-mathematics/picosat: new package; add 965 | Maciej Barć | 2022-12-06 | 4 | -0/+58 | |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | |||||
| * | sci-mathematics/cvc4: add github upstream metadata |   Alfredo Tupone | 2022-12-05 | 1 | -0/+3 | |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | |||||
| * | sci-mathematics/glpk: keyword 5.0-r1 for ~loong |   WANG Xuerui | 2022-12-04 | 1 | -2/+2 | |
| | | | | | Signed-off-by: WANG Xuerui <xen0n@gentoo.org> | |||||
| * | sci-mathematics/rngstreams: use HTTPS | Sam James | 2022-12-03 | 1 | -2/+2 | |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | |||||
| * | sci-mathematics/unuran: add 1.9.0 | Sam James | 2022-12-03 | 3 | -0/+87 | |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | |||||
| * | sci-mathematics/rngstreams: workaround configure w/ non-bash | Sam James | 2022-12-03 | 1 | -2/+3 | |
| | | | | | | Closes: https://bugs.gentoo.org/818532 Signed-off-by: Sam James <sam@gentoo.org> | |||||
| * | sci-mathematics/unuran: use HTTPS | Sam James | 2022-12-03 | 1 | -3/+3 | |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | |||||
| * | Move {virtual -> app-alternatives}/yacc | Sam James | 2022-12-02 | 4 | -6/+6 | |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | |||||
| * | sci-mathematics/mathlib-tools: bump to 1.3.1 | Maciej Barć | 2022-11-29 | 2 | -0/+54 | |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | |||||
| * | sci-mathematics/cadabra: bump to 2.4.2.2 | Maciej Barć | 2022-11-28 | 2 | -0/+105 | |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | |||||
| * | sci-mathematics/z3: keyword 4.11.2 for ~loong | WANG Xuerui | 2022-11-27 | 1 | -1/+1 | |
| | | | | | Signed-off-by: WANG Xuerui <xen0n@gentoo.org> | |||||
| * | sci-mathematics/coq: drop old 8.11.2-r1 | Maciej Barć | 2022-11-26 | 2 | -91/+0 | |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | |||||
| * | sci-mathematics/why3-for-spark: stop using <sci-mathematics/coq-8.12 | Alfredo Tupone | 2022-11-26 | 2 | -9/+4 | |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | |||||
| * | Revert "sci-mathematics/coq: drop old 8.11.2-r1" | Maciej Barć | 2022-11-26 | 2 | -0/+91 | |
| | | | | | | | This reverts commit 7cfcec3d3f83d53b9da299d770e274f3bbe19754. Signed-off-by: Maciej Barć <xgqt@gentoo.org> | |||||
| * | sci-mathematics/coq: drop old 8.11.2-r1 | Maciej Barć | 2022-11-26 | 2 | -91/+0 | |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | |||||
| * | sci-mathematics/coq: bump to 8.16.1 | Maciej Barć | 2022-11-26 | 2 | -0/+112 | |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | |||||
| * | sci-mathematics/pari: add 2.15.1, drop 2.15.0 |   Michael Orlitzky | 2022-11-23 | 2 | -1/+1 | |
| | | | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | |||||
| * | sci-mathematics/octave: drop 5.2.0 |   Andreas Sturmlechner | 2022-11-23 | 4 | -223/+0 | |
| | | | | | | Closes: https://bugs.gentoo.org/854489 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org> | |||||
| * | sci-mathematics/jags: add 4.3.1 | Sam James | 2022-11-22 | 2 | -0/+48 | |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | |||||
| * | sci-mathematics/jags: use ver_cut in SRC_URI | Sam James | 2022-11-22 | 1 | -5/+5 | |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | |||||
| * | sci-mathematics/giac: add missing USE dep x11-libs/fltk[opengl]. | Michael Orlitzky | 2022-11-20 | 1 | -1/+1 | |
| | | | | | | Closes: https://bugs.gentoo.org/849860 Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | |||||
| * | sci-mathematics/gmp-ecm: drop 7.0.4-r4 | Michael Orlitzky | 2022-11-19 | 4 | -161/+0 | |
| | | | | | Signed-off-by: Michael Orlitzky <mjo@gentoo.org> | |||||
| * | sci-mathematics/gmp-ecm: Stabilize 7.0.5-r1 x86, #882059 | Sam James | 2022-11-20 | 1 | -1/+1 | |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | |||||
| * | sci-mathematics/gmp-ecm: Stabilize 7.0.5-r1 amd64, #882059 | Sam James | 2022-11-20 | 1 | -1/+1 | |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | |||||
| * | sci-mathematics/alt-ergo: remove seq reference from dune build file | Maciej Barć | 2022-11-19 | 2 | -0/+13 | |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | |||||
| * | sci-mathematics/lean: bump to 3.49.1 | Maciej Barć | 2022-11-18 | 2 | -0/+78 | |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | |||||
| * | sci-mathematics/gmp-ecm: Keyword 7.0.5-r1 ppc64, #871921 | Arthur Zamarin | 2022-11-18 | 1 | -1/+1 | |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | |||||
GitWeb