aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
Commit message (Expand)AuthorAge
* 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
* | | | | | | | | | | | | | | gnu: dealii: Update to 9.1.1.Eric Bavier2019-09-27
| |_|_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | |
* | | | | | | | | | | | | | gnu: glm: Update to 0.9.9.6.Tobias Geerinckx-Rice2019-09-24
| |_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | |
* | | | | | | | | | | | | gnu: wxmaxima: Update to 19.09.0.Tobias Geerinckx-Rice2019-09-21
* | | | | | | | | | | | | gnu: octave: Use texlive-union.Ricardo Wurmus2019-09-20
| |_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | |
* | | | | | | | | | | | gnu: gmsh: Update home page.Paul Garlick2019-09-13
* | | | | | | | | | | | gnu: openblas: Set 'NUM_THREADS'.Ludovic Courtès2019-09-13
* | | | | | | | | | | | gnu: gmsh: Fetch source from Git.Paul Garlick2019-09-12
* | | | | | | | | | | | gnu: hypre: Update texlive-union.Ricardo Wurmus2019-09-12
| |_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | |
* | | | | | | | | | | gnu: hdf4: Update to 4.2.14.Marius Bakke2019-09-04
* | | | | | | | | | | gnu: Add speedcrunch.Steve Sprang2019-08-31
| |_|_|_|_|_|_|_|_|/ |/| | | | | | | | |
* | | | | | | | | | gnu: python-cvxopt: Update to 1.2.3.Tobias Geerinckx-Rice2019-08-26
| |_|_|_|_|_|_|_|/ |/| | | | | | | |
* | | | | | | | | gnu: wxmaxima: Update to 19.08.0.Kei Kebreau2019-08-20
| |_|_|_|_|_|_|/ |/| | | | | | |
* | | | | | | | Merge branch 'master' into stagingMarius Bakke2019-08-08
|\ \ \ \ \ \ \ \
| * | | | | | | | gnu: r-desolve: Update to 1.24.Ricardo Wurmus2019-08-06
| | |_|_|_|_|_|/ | |/| | | | | |
* / | | | | | | gnu: double-conversion: Update to 3.1.5.Marius Bakke2019-08-04
|/ / / / / / /
* | | | | | / gnu: Add opencascade-occt.Paul Garlick2019-07-16
| |_|_|_|_|/ |/| | | | |
* | | | | | gnu: octave-cli: Sort inputs alphabetically.Efraim Flashner2019-07-02
* | | | | | gnu: atlas: All phases return #t.Efraim Flashner2019-06-28
| |_|_|_|/ |/| | | |
* | | | | gnu: gnuplot: Update to 5.2.7.Tobias Geerinckx-Rice2019-06-21
| |_|_|/ |/| | |
* | | | gnu: Add ppl.Andreas Enge2019-06-20