Age | Commit message (Expand) | Author |
2019-11-19 | gnu: Add minisat. | Robert Smith |
2019-10-20 | gnu: vc: Update to 1.4.1. | 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-08 | gnu: mcrl2: Update source url. | Jan Nieuwenhuizen |
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 |
2019-08-26 | gnu: python-cvxopt: Update to 1.2.3. | Tobias Geerinckx-Rice |
2019-08-22 | Merge branch 'master' into core-updates | Mark H Weaver |
2019-08-20 | gnu: wxmaxima: Update to 19.08.0. | Kei Kebreau |
2019-08-13 | Merge branch 'master' into core-updates | Marius Bakke |
2019-08-08 | Merge branch 'master' into staging | Marius Bakke |
2019-08-06 | gnu: r-desolve: Update to 1.24. | Ricardo Wurmus |
2019-08-04 | gnu: double-conversion: Update to 3.1.5. | Marius Bakke |
2019-07-17 | Merge branch 'master' into core-updates | Ludovic Courtès |
2019-07-16 | gnu: Add opencascade-occt. | Paul Garlick |
2019-07-14 | gnu: Adjust uses of C{,PLUS}_INCLUDE_PATH for GCC 7. | Marius Bakke |
2019-07-02 | Merge branch 'staging' into core-updates | Marius Bakke |
2019-07-02 | gnu: octave-cli: Sort inputs alphabetically. | Efraim Flashner |
2019-06-28 | gnu: atlas: All phases return #t. | Efraim Flashner |
2019-06-27 | Merge branch 'master' into core-updates | Ludovic Courtès |
2019-06-21 | gnu: gnuplot: Update to 5.2.7. | Tobias Geerinckx-Rice |
2019-06-20 | Merge branch 'staging' into core-updates | Marius Bakke |
2019-06-20 | gnu: Add ppl. | Andreas Enge |
2019-06-20 | gnu: Move ratpoints into a different module. | Nicolas Goaziou |
2019-06-19 | gnu: Add ratpoints. | Nicolas Goaziou |
2019-06-17 | gnu: edge-addition-planarity-suite: Move to the (gnu packages graph) module. | Andreas Enge |