Commit message (Expand) | Author | Age | |
---|---|---|---|
* | gnu: Add minisat. | Robert Smith | 2019-11-19 |
* | gnu: vc: Update to 1.4.1. | Marius Bakke | 2019-10-20 |
* | 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-14 |
* | gnu: mcrl2: Update source url. | Jan Nieuwenhuizen | 2019-10-08 |
* | Merge branch 'core-updates' | Ludovic Courtès | 2019-10-08 |
|\ | |||
| * | Merge branch 'master' into core-updates | Ludovic Courtès | 2019-10-01 |
| |\ | |||
| * \ | Merge branch 'master' into core-updates | Marius Bakke | 2019-09-27 |
| |\ \ | |||
| * \ \ | Merge branch 'master' into core-updates | Ludovic Courtès | 2019-09-24 |
| |\ \ \ | |||
| * \ \ \ | Merge branch 'master' into core-updates | Ludovic Courtès | 2019-09-17 |
| |\ \ \ \ | |||
| * \ \ \ \ | Merge branch 'master' into core-updates | Mark H Weaver | 2019-09-06 |
| |\ \ \ \ \ | |||
| * | | | | | | gnu: hdf-eos2: Add libtirpc input. | Marius Bakke | 2019-09-03 |
| * | | | | | | gnu: hdf4: Build with libtirpc. | Marius Bakke | 2019-09-03 |
| * | | | | | | Merge branch 'master' into core-updates | Mark H Weaver | 2019-08-29 |
| |\ \ \ \ \ \ | |||
| * \ \ \ \ \ \ | Merge branch 'master' into core-updates | Mark H Weaver | 2019-08-22 |
| |\ \ \ \ \ \ \ | |||
| * \ \ \ \ \ \ \ | Merge branch 'master' into core-updates | Marius Bakke | 2019-08-13 |
| |\ \ \ \ \ \ \ \ | |||
| * \ \ \ \ \ \ \ \ | Merge branch 'master' into core-updates | Ludovic Courtès | 2019-07-17 |
| |\ \ \ \ \ \ \ \ \ | |||
| * | | | | | | | | | | gnu: Adjust uses of C{,PLUS}_INCLUDE_PATH for GCC 7. | Marius Bakke | 2019-07-14 |
| * | | | | | | | | | | Merge branch 'staging' into core-updates | Marius Bakke | 2019-07-02 |
| |\ \ \ \ \ \ \ \ \ \ | |||
| * \ \ \ \ \ \ \ \ \ \ | Merge branch 'master' into core-updates | Ludovic Courtès | 2019-06-27 |
| |\ \ \ \ \ \ \ \ \ \ \ | |||
| * \ \ \ \ \ \ \ \ \ \ \ | Merge branch 'staging' into core-updates | Marius Bakke | 2019-06-20 |
| |\ \ \ \ \ \ \ \ \ \ \ \ | |||
| * \ \ \ \ \ \ \ \ \ \ \ \ | Merge branch 'master' into core-updates | Ludovic Courtès | 2019-06-13 |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ | |||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge branch 'staging' into core-updates | Marius Bakke | 2019-05-25 |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ | |||
| * | | | | | | | | | | | | | | | gnu: OpenBLAS: Update to 0.3.6. | Marius Bakke | 2019-05-04 |
* | | | | | | | | | | | | | | | | 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-08 |
| |_|_|_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | | | | |||
* | | | | | | | | | | | | | | | gnu: Add mcrl2-minimal. | Jan Nieuwenhuizen | 2019-09-30 |
* | | | | | | | | | | | | | | | gnu: mcrl2: Update to 201908.0. | Jan Nieuwenhuizen | 2019-09-30 |
* | | | | | | | | | | | | | | | gnu: z3: Update to 4.8.6. | Tobias Geerinckx-Rice | 2019-09-28 |
* | | | | | | | | | | | | | | | gnu: dealii: Update to 9.1.1. | Eric Bavier | 2019-09-27 |
| |_|_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | | | |||
* | | | | | | | | | | | | | | gnu: glm: Update to 0.9.9.6. | Tobias Geerinckx-Rice | 2019-09-24 |
| |_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | | |||
* | | | | | | | | | | | | | gnu: wxmaxima: Update to 19.09.0. | Tobias Geerinckx-Rice | 2019-09-21 |
* | | | | | | | | | | | | | gnu: octave: Use texlive-union. | Ricardo Wurmus | 2019-09-20 |
| |_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | |||
* | | | | | | | | | | | | gnu: gmsh: Update home page. | Paul Garlick | 2019-09-13 |
* | | | | | | | | | | | | gnu: openblas: Set 'NUM_THREADS'. | Ludovic Courtès | 2019-09-13 |
* | | | | | | | | | | | | gnu: gmsh: Fetch source from Git. | Paul Garlick | 2019-09-12 |
* | | | | | | | | | | | | gnu: hypre: Update texlive-union. | Ricardo Wurmus | 2019-09-12 |
| |_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | |||
* | | | | | | | | | | | gnu: hdf4: Update to 4.2.14. | Marius Bakke | 2019-09-04 |
* | | | | | | | | | | | gnu: Add speedcrunch. | Steve Sprang | 2019-08-31 |
| |_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | |||
* | | | | | | | | | | gnu: python-cvxopt: Update to 1.2.3. | Tobias Geerinckx-Rice | 2019-08-26 |
| |_|_|_|_|_|_|_|/ |/| | | | | | | | | |||
* | | | | | | | | | gnu: wxmaxima: Update to 19.08.0. | Kei Kebreau | 2019-08-20 |
| |_|_|_|_|_|_|/ |/| | | | | | | | |||
* | | | | | | | | Merge branch 'master' into staging | Marius Bakke | 2019-08-08 |
|\ \ \ \ \ \ \ \ | |||
| * | | | | | | | | gnu: r-desolve: Update to 1.24. | Ricardo Wurmus | 2019-08-06 |
| | |_|_|_|_|_|/ | |/| | | | | | | |||
* / | | | | | | | gnu: double-conversion: Update to 3.1.5. | Marius Bakke | 2019-08-04 |
|/ / / / / / / | |||
* | | | | | / | gnu: Add opencascade-occt. | Paul Garlick | 2019-07-16 |
| |_|_|_|_|/ |/| | | | | | |||
* | | | | | | gnu: octave-cli: Sort inputs alphabetically. | Efraim Flashner | 2019-07-02 |
* | | | | | | gnu: atlas: All phases return #t. | Efraim Flashner | 2019-06-28 |
| |_|_|_|/ |/| | | | | |||
* | | | | | gnu: gnuplot: Update to 5.2.7. | Tobias Geerinckx-Rice | 2019-06-21 |
| |_|_|/ |/| | | | |||
* | | | | gnu: Add ppl. | Andreas Enge | 2019-06-20 |