Age | Commit message (Expand) | Author |
2020-03-09 | gnu: speedcrunch: Use HTTPS home page. | Tobias Geerinckx-Rice |
2020-03-07 | gnu: openblas: Use HTTPS home page. | Tobias Geerinckx-Rice |
2020-03-06 | gnu: wxmaxima: Update to 20.02.4. | Kei Kebreau |
2020-03-04 | gnu: SuiteSparse: Update to 5.7.1. | Felix Gruber |
2020-02-23 | gnu: z3: Build the Python bindings | Jakub Kądziołka |
2020-02-21 | gnu: Add vinci. | Andreas Enge |
2020-02-10 | gnu: octave, octave-cli: Update to 5.2.0. | Kei Kebreau |
2020-01-31 | gnu: superlu-dist: Update to 6.2.0. | Eric Bavier |
2020-01-31 | gnu: superlu: Update upstream url. | Eric Bavier |
2020-01-23 | gnu: wxmaxima: Update to 20.01.3. | Kei Kebreau |
2020-01-19 | gnu: elemental: Update home page. | Tobias Geerinckx-Rice |
2020-01-19 | gnu: petsc: Use HTTPS home page. | Tobias Geerinckx-Rice |
2020-01-17 | gnu: Use HTTPS for www.hdfgroup.org. | Tobias Geerinckx-Rice |
2020-01-17 | gnu: netcdf: Use HTTPS home page. | Tobias Geerinckx-Rice |
2020-01-17 | gnu: scotch: Use HTTPS home page. | Tobias Geerinckx-Rice |
2020-01-17 | Update email address for Amin Bandali. | Amin Bandali |
2020-01-14 | gnu: python-slepc4py: Update to 3.11.0. | Paul Garlick |
2020-01-14 | gnu: python-petsc4py: Update to 3.11.0. | Paul Garlick |
2020-01-10 | gnu: hdf5@1.10: Update to 1.10.6. | Tobias Geerinckx-Rice |
2020-01-07 | gnu: lapack: Update to 3.9.0. | Konrad Hinsen |
2019-12-13 | gnu: hdf5@1.10: Update to 1.10.5. | Ludovic Courtès |
2019-12-06 | gnu: Add lrslib. | Andreas Enge |
2019-12-04 | Merge branch 'staging' | Marius Bakke |
2019-12-01 | gnu: z3: Update to 4.8.7. | Tobias Geerinckx-Rice |
2019-12-01 | gnu: nauty: Update to 2.6r12. | Tobias Geerinckx-Rice |
2019-11-28 | Merge branch 'master' into staging | Marius Bakke |
2019-11-27 | gnu: Remove obsolete import of R build system module. | Ricardo Wurmus |
2019-11-27 | gnu: r-subplex: Move to (gnu packages cran). | zimoun |
2019-11-27 | gnu: r-pracma: Move to (gnu packages cran). | zimoun |
2019-11-27 | gnu: r-desolve: Move to (gnu packages cran). | zimoun |
2019-11-27 | gnu: r-quadprog: Move to (gnu packages cran). | zimoun |
2019-11-23 | gnu: wxmaxima: Update to 19.11.1. | Kei Kebreau |
2019-11-23 | gnu: r-quadprog: Update to 1.5-8. | Tobias Geerinckx-Rice |
2019-11-23 | gnu: r-desolve: Update to 1.25. | Tobias Geerinckx-Rice |
2019-11-21 | Merge branch 'master' into staging | Marius Bakke |
2019-11-19 | gnu: Add minisat. | Robert Smith |
2019-10-21 | Merge branch 'master' into staging | Marius Bakke |
2019-10-20 | gnu: vc: Update to 1.4.1. | Marius Bakke |
2019-10-18 | Merge branch 'master' into staging | Marius Bakke |
2019-10-14 | gnu: mumps: Build and install shared libraries. | Maurice Brémond |
2019-10-14 | gnu: mumps: Update to 5.2.1. | Maurice Brémond |
2019-10-13 | Merge branch 'master' into staging | Marius Bakke |
2019-10-08 | gnu: mcrl2: Update source url. | Jan Nieuwenhuizen |
2019-10-08 | gnu: OpenBLAS: Update to 0.3.7. | Marius Bakke |
2019-10-08 | gnu: OpenBLAS: Incorporate grafted changes. | Marius Bakke |
2019-10-08 | Merge branch 'core-updates' | Ludovic Courtès |
2019-10-08 | gnu: maxflow: Use HTTPS home page. | Tobias Geerinckx-Rice |
2019-10-08 | gnu: maxflow: Correct version to 3.0.5. | Tobias Geerinckx-Rice |
2019-10-08 | gnu: maxflow: Use GIT-FILE-NAME. | Tobias Geerinckx-Rice |
2019-10-01 | Merge branch 'master' into core-updates | Ludovic Courtès |