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