Age | Commit message (Expand) | Author |
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 |
2019-09-30 | gnu: Add mcrl2-minimal. | Jan Nieuwenhuizen |
2019-09-30 | gnu: mcrl2: Update to 201908.0. | Jan Nieuwenhuizen |
2019-09-28 | gnu: z3: Update to 4.8.6. | Tobias Geerinckx-Rice |
2019-09-27 | gnu: dealii: Update to 9.1.1. | Eric Bavier |
2019-09-27 | Merge branch 'master' into core-updates | Marius Bakke |
2019-09-24 | Merge branch 'master' into core-updates | Ludovic Courtès |
2019-09-24 | gnu: glm: Update to 0.9.9.6. | Tobias Geerinckx-Rice |
2019-09-21 | gnu: wxmaxima: Update to 19.09.0. | Tobias Geerinckx-Rice |
2019-09-20 | gnu: octave: Use texlive-union. | Ricardo Wurmus |
2019-09-17 | Merge branch 'master' into core-updates | Ludovic Courtès |
2019-09-13 | gnu: gmsh: Update home page. | Paul Garlick |
2019-09-13 | gnu: openblas: Set 'NUM_THREADS'. | Ludovic Courtès |
2019-09-12 | gnu: gmsh: Fetch source from Git. | Paul Garlick |
2019-09-12 | gnu: hypre: Update texlive-union. | Ricardo Wurmus |
2019-09-06 | Merge branch 'master' into core-updates | Mark H Weaver |
2019-09-04 | gnu: hdf4: Update to 4.2.14. | Marius Bakke |
2019-09-03 | gnu: hdf-eos2: Add libtirpc input. | Marius Bakke |
2019-09-03 | gnu: hdf4: Build with libtirpc. | Marius Bakke |
2019-08-31 | gnu: Add speedcrunch. | Steve Sprang |
2019-08-29 | Merge branch 'master' into core-updates | Mark H Weaver |