Age | Commit message (Expand) | Author |
2021-03-27 | gnu: ntl: Update to 11.4.4. | Tobias Geerinckx-Rice |
2021-03-23 | gnu: giac: Update to 1.7.0-1. | Nicolas Goaziou |
2021-03-17 | gnu: Use PACKAGE/INHERIT in more places. | Mark H Weaver |
2021-03-15 | gnu: Add r-dtt. | Lars-Dominik Braun |
2021-03-09 | gnu: symengine: Fix build. | Efraim Flashner |
2021-02-28 | gnu: singular: Use HTTPS home page URI. | Nicolas Goaziou |
2021-02-28 | gnu: python-flint: Use HTTPS home page URI. | Nicolas Goaziou |
2021-02-26 | gnu: cmh: Update to 1.1.0. | Andreas Enge |
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 |
2020-10-20 | gnu: pari-gp: Update to 2.13.0. | Andreas Enge |
2020-10-07 | gnu: giac: Update to 1.6.0-25. | Nicolas Goaziou |
2020-09-30 | gnu: Fix package references. | Efraim Flashner |
2020-09-29 | gnu: giac: Update to 1.6.0-23. | Nicolas Goaziou |
2020-09-28 | gnu: cm: Update to 0.3.1. | Andreas Enge |
2020-09-23 | gnu: fplll: Correct include files. | Andreas Enge |
2020-09-23 | gnu: fplll: Update to 5.3.3. | Andreas Enge |
2020-09-01 | gnu: gap: Update to 4.11.0. | Andreas Enge |
2020-08-20 | gnu: python-fpylll: Update to 0.5.2. | Andreas Enge |
2020-08-20 | gnu: fplll: Update to 5.3.2. | Andreas Enge |
2020-08-19 | gnu: cmh: Update home-page. | Efraim Flashner |
2020-08-18 | gnu: mpfrcx: Update to 0.6. | Andreas Enge |
2020-08-15 | gnu: flint: Update to 2.6.3. | Tobias Geerinckx-Rice |
2020-08-08 | gnu: flint: Add a comment about the licence. | Tobias Geerinckx-Rice |
2020-08-08 | gnu: flint: Update to 2.6.2. | Tobias Geerinckx-Rice |
2020-07-25 | gnu: flint: Update to 2.6.1. | Tobias Geerinckx-Rice |
2020-07-22 | arb: Update to 2.18.1. | Andreas Enge |
2020-07-22 | gnu: gp2c: Update to 0.0.11pl4. | Andreas Enge |
2020-07-12 | gnu: Remove ".git" from "https://github/…/….git". | Ludovic Courtès |
2020-07-10 | gnu: linbox: Fix linking of dependant packages. | Jakub Kądziołka |
2020-07-10 | gnu: arb: Build with flint 2.6. | Jakub Kądziołka |
2020-07-10 | gnu: flint: Build with ntl. | Jakub Kądziołka |
2020-07-10 | gnu: flint: Update to 2.6.0. | Jakub Kądziołka |
2020-07-08 | gnu: giac: Update to 1.6.0-7. | Nicolas Goaziou |
2020-06-24 | gnu: symengine: Fix indentation. | Nicolas Goaziou |
2020-06-24 | gnu: Add symengine. | Vinicius Monego |
2020-06-09 | gnu: singular: Update to 4.1.3p2. | Tobias Geerinckx-Rice |
2020-06-05 | gnu: singular: Update to 4.1.3p1. | Tobias Geerinckx-Rice |
2020-05-05 | Merge branch 'master' into core-updates | Marius Bakke |