aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
Commit message (Expand)AuthorAge
* gnu: hdf5@1.10: Update to 1.10.5.Ludovic Courtès2019-12-13
* gnu: Add lrslib.Andreas Enge2019-12-06
* Merge branch 'staging'Marius Bakke2019-12-04
|\
| * Merge branch 'master' into stagingMarius Bakke2019-11-28
| |\
| * \ Merge branch 'master' into stagingMarius Bakke2019-11-21
| |\ \
| * \ \ Merge branch 'master' into stagingMarius Bakke2019-10-21
| |\ \ \
| * \ \ \ Merge branch 'master' into stagingMarius Bakke2019-10-18
| |\ \ \ \
| * \ \ \ \ Merge branch 'master' into stagingMarius Bakke2019-10-13
| |\ \ \ \ \
| * | | | | | gnu: OpenBLAS: Update to 0.3.7.Marius Bakke2019-10-08
| * | | | | | gnu: OpenBLAS: Incorporate grafted changes.Marius Bakke2019-10-08
* | | | | | | gnu: z3: Update to 4.8.7.Tobias Geerinckx-Rice2019-12-01
* | | | | | | gnu: nauty: Update to 2.6r12.Tobias Geerinckx-Rice2019-12-01
| |_|_|_|_|/ |/| | | | |
* | | | | | gnu: Remove obsolete import of R build system module.Ricardo Wurmus2019-11-27
* | | | | | gnu: r-subplex: Move to (gnu packages cran).zimoun2019-11-27
* | | | | | gnu: r-pracma: Move to (gnu packages cran).zimoun2019-11-27
* | | | | | gnu: r-desolve: Move to (gnu packages cran).zimoun2019-11-27
* | | | | | gnu: r-quadprog: Move to (gnu packages cran).zimoun2019-11-27
* | | | | | gnu: wxmaxima: Update to 19.11.1.Kei Kebreau2019-11-23
* | | | | | gnu: r-quadprog: Update to 1.5-8.Tobias Geerinckx-Rice2019-11-23
* | | | | | gnu: r-desolve: Update to 1.25.Tobias Geerinckx-Rice2019-11-23
| |_|_|_|/ |/| | | |
* | | | | gnu: Add minisat.Robert Smith2019-11-19
| |_|_|/ |/| | |
* | | | gnu: vc: Update to 1.4.1.Marius Bakke2019-10-20
| |_|/ |/| |
* | | gnu: mumps: Build and install shared libraries.Maurice Brémond2019-10-14
* | | gnu: mumps: Update to 5.2.1.Maurice Brémond2019-10-14
| |/ |/|
* | gnu: mcrl2: Update source url.Jan Nieuwenhuizen2019-10-08
|/
* Merge branch 'core-updates'Ludovic Courtès2019-10-08
|\
| * Merge branch 'master' into core-updatesLudovic Courtès2019-10-01
| |\
| * \ Merge branch 'master' into core-updatesMarius Bakke2019-09-27
| |\ \
| * \ \ Merge branch 'master' into core-updatesLudovic Courtès2019-09-24
| |\ \ \
| * \ \ \ Merge branch 'master' into core-updatesLudovic Courtès2019-09-17
| |\ \ \ \
| * \ \ \ \ Merge branch 'master' into core-updatesMark H Weaver2019-09-06
| |\ \ \ \ \
| * | | | | | gnu: hdf-eos2: Add libtirpc input.Marius Bakke2019-09-03
| * | | | | | gnu: hdf4: Build with libtirpc.Marius Bakke2019-09-03
| * | | | | | Merge branch 'master' into core-updatesMark H Weaver2019-08-29
| |\ \ \ \ \ \
| * \ \ \ \ \ \ Merge branch 'master' into core-updatesMark H Weaver2019-08-22
| |\ \ \ \ \ \ \
| * \ \ \ \ \ \ \ Merge branch 'master' into core-updatesMarius Bakke2019-08-13
| |\ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ Merge branch 'master' into core-updatesLudovic Courtès2019-07-17
| |\ \ \ \ \ \ \ \ \
| * | | | | | | | | | gnu: Adjust uses of C{,PLUS}_INCLUDE_PATH for GCC 7.Marius Bakke2019-07-14
| * | | | | | | | | | Merge branch 'staging' into core-updatesMarius Bakke2019-07-02
| |\ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ Merge branch 'master' into core-updatesLudovic Courtès2019-06-27
| |\ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ Merge branch 'staging' into core-updatesMarius Bakke2019-06-20
| |\ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ Merge branch 'master' into core-updatesLudovic Courtès2019-06-13
| |\ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ Merge branch 'staging' into core-updatesMarius Bakke2019-05-25
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | gnu: OpenBLAS: Update to 0.3.6.Marius Bakke2019-05-04
* | | | | | | | | | | | | | | | gnu: maxflow: Use HTTPS home page.Tobias Geerinckx-Rice2019-10-08
* | | | | | | | | | | | | | | | gnu: maxflow: Correct version to 3.0.5.Tobias Geerinckx-Rice2019-10-08
* | | | | | | | | | | | | | | | gnu: maxflow: Use GIT-FILE-NAME.Tobias Geerinckx-Rice2019-10-08
| |_|_|_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | | |
* | | | | | | | | | | | | | | gnu: Add mcrl2-minimal.Jan Nieuwenhuizen2019-09-30
* | | | | | | | | | | | | | | gnu: mcrl2: Update to 201908.0.Jan Nieuwenhuizen2019-09-30
* | | | | | | | | | | | | | | gnu: z3: Update to 4.8.6.Tobias Geerinckx-Rice2019-09-28