aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
Commit message (Expand)AuthorAge
* gnu: ceres-solver: Install library to lib/ instead of lib64/.Ludovic Courtès2021-11-26
* gnu: Add julia-sundials-jullJean-Baptiste Volatier2021-11-16
* gnu: Add ocaml-z3.Julien Lepiller2021-10-28
* gnu: Add clingo.Liliana Marie Prikler2021-10-24
* gnu: Add clasp.Liliana Marie Prikler2021-10-24
* gnu: Add libpotassco.Liliana Marie Prikler2021-10-24
* gnu: hdf5@1.12: Update to 1.12.1.Tobias Geerinckx-Rice2021-10-18
* gnu: frama-c: Update to 23.1.Julien Lepiller2021-10-08
* gnu: why3: Update to 1.4.0.Julien Lepiller2021-10-08
* gnu: mcrl2: Update hash of modified-in-place tarball.Ludovic Courtès2021-10-07
* gnu: Add minizinc.Liliana Marie Prikler2021-09-25
* gnu: Add gecode.Liliana Marie Prikler2021-09-25
* gnu: fp16: Install Python files in the site directory.Ludovic Courtès2021-09-24
* gnu: nauty: Update to 2.7r3.Nicolas Goaziou2021-09-11
* gnu: vc: Update to 1.4.2.Tobias Geerinckx-Rice2021-09-04
* gnu: nauty: Update to 2.7r2.Nicolas Goaziou2021-09-04
* gnu: dealii-openmpi: Add Trilinos dependency.Paul A. Patience2021-08-10
* gnu: Add optizelle.Paul Garlick2021-08-05
* gnu: Add bitwise.Guix Together2021-08-04
* gnu: Add FP16.Ludovic Courtès2021-07-29
* gnu: Add FXDiv.Ludovic Courtès2021-07-29
* gnu: openlibm: Fix cross-compiling.Jean-Baptiste Volatier2021-07-28
* gnu: openlibm: Update to 0.7.4.Jean-Baptiste Volatier2021-07-28
* gnu: gsegrafix: Update to 1.0.7.2.Tobias Geerinckx-Rice2021-07-26
* gnu: dealii: Update to 9.3.1 and clean up.Paul A. Patience2021-07-20
* gnu: Add nomad-optimizer.Paul A. Patience2021-07-19
* gnu: Add blitz.Ivan Gankevich2021-07-16
* gnu: gmsh: Sort inputs alphabetically.Efraim Flashner2021-07-13
* gnu: gmsh: Simply downloading source logic.Efraim Flashner2021-07-13
* gnu: gmsh: Update to 4.8.4.Paul A. Patience2021-07-13
* gnu: gmsh: Install Python API in standard directory.Paul Garlick2021-07-12
* gnu: mcrl2: Update to 202106.0.Jan (janneke) Nieuwenhuizen2021-07-08
* gnu: openblas: Fix building on powerpc64le-linux.Efraim Flashner2021-07-07
* gnu: openblas: Fix building on armhf-linux.Efraim Flashner2021-07-07
* gnu: atlas: Extend build time-out.Tobias Geerinckx-Rice2021-07-02
* gnu: gnuplot: Update to 5.4.2.Tobias Geerinckx-Rice2021-07-02
* gnu: scotch: Update to 6.1.1.Ludovic Courtès2021-06-29
* gnu: scotch: Add 'release-monitoring-url' property.Ludovic Courtès2021-06-29
* gnu: suitesparse: Update to 5.10.1.Ludovic Courtès2021-06-25
* gnu: suitesparse: Link against OpenBLAS rather than LAPACK.Ludovic Courtès2021-06-25
* gnu: maxima: Update to 5.45.1.Kei Kebreau2021-06-24
* gnu: petsc: Link against OpenBLAS rather than LAPACK.Ludovic Courtès2021-06-22
* gnu: why3: Update to 1.3.3.Julien Lepiller2021-06-20
* gnu: wxmaxima: Update to 21.05.2.Kei Kebreau2021-06-14
* gnu: maxima: Update to 5.45.0.Kei Kebreau2021-06-14
* gnu: Rename qtbase to qtbase-5.Maxim Cournoyer2021-06-14
* gnu: qalculate-gtk: Update to 3.19.0.Jack Hill2021-06-12
* gnu: libqalculate: Update to 3.19.0.Jack Hill2021-06-12
* gnu: Add frama-c.Julien Lepiller2021-06-02
* gnu: Add why3.Julien Lepiller2021-06-02