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