Age | Commit message (Expand) | Author |
---|---|---|
2021-02-12 | gnu: pari-gp: Update to 2.13.1.... | Andreas Enge |
2021-01-22 | gnu: giac: Update to 1.6.0-47.... | Nicolas Goaziou |
2021-01-13 | gnu: cmh: Update source code URL.... | Ludovic Courtès |
2021-01-13 | gnu: gmp-ecm: Update source URI.... | Andreas Enge |
2021-01-02 | gnu: giac: Update to 1.6.0-41.... | Nicolas Goaziou |
2020-12-19 | gnu: arb: Use HTTPS home page URI.... | Nicolas Goaziou |
2020-12-17 | gnu: glpk: Update to 5.0.... | Efraim Flashner |
2020-12-13 | gnu: gp2c: Update to 0.0.12.... | Andreas Enge |
2020-11-23 | gnu: eigen: Add upstream bugfix patch.... | Tobias Geerinckx-Rice |
2020-11-19 | gnu: eigen: Update to 3.3.8.... | Tobias Geerinckx-Rice |
2020-11-11 | gnu: giac: Update to 1.6.0-31.... | Nicolas Goaziou |
2020-11-09 | gnu: eigen: Add source mirror.... | Efraim Flashner |
2020-11-08 | gnu: xtensor: Update URIs.... | Efraim Flashner |