Commit message (Expand) | Author | Age | |
---|---|---|---|
* | gnu: Add lrslib. | Andreas Enge | 2019-12-06 |
* | Merge branch 'staging' | Marius Bakke | 2019-12-04 |
|\ | |||
| * | Merge branch 'master' into staging | Marius Bakke | 2019-11-28 |
| |\ | |||
| * \ | Merge branch 'master' into staging | Marius Bakke | 2019-11-21 |
| |\ \ | |||
| * \ \ | Merge branch 'master' into staging | Marius Bakke | 2019-10-21 |
| |\ \ \ | |||
| * \ \ \ | Merge branch 'master' into staging | Marius Bakke | 2019-10-18 |
| |\ \ \ \ | |||
| * \ \ \ \ | Merge branch 'master' into staging | Marius Bakke | 2019-10-13 |
| |\ \ \ \ \ | |||
| * | | | | | | gnu: OpenBLAS: Update to 0.3.7. | Marius Bakke | 2019-10-08 |
| * | | | | | | gnu: OpenBLAS: Incorporate grafted changes. | Marius Bakke | 2019-10-08 |
* | | | | | | | gnu: z3: Update to 4.8.7. | Tobias Geerinckx-Rice | 2019-12-01 |
* | | | | | | | gnu: nauty: Update to 2.6r12. | Tobias Geerinckx-Rice | 2019-12-01 |
| |_|_|_|_|/ |/| | | | | | |||
* | | | | | | 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-27 |
* | | | | | | 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-23 |
| |_|_|_|/ |/| | | | | |||
* | | | | | 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 |
| |_|_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | | |