Age | Commit message (Expand) | Author |
2022-08-15 | gnu: Add kissat. | Maximilian Heisinger |
2022-08-14 | gnu: itpp: Remove non-deterministic log file. | Vagrant Cascadian |
2022-08-10 | gnu: frama-c: Use lablgtk3. | Julien Lepiller |
2022-08-10 | gnu: maxima: Fix to find info files. | Daniel Meißner |
2022-08-09 | gnu: cddlib: Update to 0.94m. | vicvbcun |
2022-08-09 | gnu: wxmaxima: Update to 22.05.0. | Andreas Enge |
2022-08-09 | gnu: maxima: Update to 5.46.0. | Andreas Enge |
2022-08-05 | gnu: mumps: Add alternate source code URL. | Ludovic Courtès |
2022-08-05 | gnu: mumps: Update to 5.5.1 | FELŠÖCI Marek |
2022-08-05 | gnu: veusz: Fix build. | Felix Gruber |
2022-08-04 | gnu: Add itex2mml. | Philip McGrath |
2022-08-02 | gnu: gnuplot: Update to 5.4.4. | Paul A. Patience |
2022-08-02 | gnu: gnuplot: Use G-expressions. | Paul A. Patience |
2022-08-02 | gnu: gnuplot: Remove input labels. | Paul A. Patience |
2022-08-02 | gnu: wcalc: Remove pre-generated files. | Efraim Flashner |
2022-08-01 | gnu: trilinos-for-dealii-openmpi: Use G-expressions. | Paul A. Patience |
2022-08-01 | gnu: trilinos-for-dealii-openmpi: Remove input labels. | Paul A. Patience |
2022-08-01 | gnu: dealii: Update to 9.4.0. | Paul A. Patience |
2022-08-01 | gnu: dealii: Use G-expressions. | Paul A. Patience |
2022-08-01 | gnu: trilinos-for-dealii-openmpi: Fix build. | Paul A. Patience |
2022-08-01 | gnu: hdf5-1.8: Add missing comma to linker flag. | Paul A. Patience |
2022-07-31 | gnu: qttools: Rename to qttools-5. | Maxim Cournoyer |
2022-07-31 | gnu: qtsvg: Rename variable to qtsvg-5. | Maxim Cournoyer |
2022-07-15 | gnu: gmsh: Update to 4.10.5. | Paul A. Patience |
2022-07-15 | gnu: gmsh: Remove trailing booleans. | Paul A. Patience |
2022-07-15 | gnu: gmsh: Remove input labels. | Paul A. Patience |
2022-07-13 | gnu: elpa: Update source URL. | Maxim Cournoyer |
2022-07-04 | gnu: nauty: Update package style. | Nicolas Goaziou |
2022-07-04 | gnu: nauty: Update to 2.7r4. | Nicolas Goaziou |
2022-07-04 | gnu: Add giza | Sharlatan Hellseher |
2022-07-04 | gnu: z3: Prefer CMake to build the package. | Zhu Zihao |
2022-07-04 | gnu: z3: Update to 4.8.17. | Zhu Zihao |
2022-07-04 | gnu: z3: Use G-expressions. | Zhu Zihao |
2022-07-01 | gnu: mcrl2: Update to 202206.0. | Jan (janneke) Nieuwenhuizen |
2022-06-30 | gnu: octave: Update to 7.1.0. | Greg Hogan |
2022-06-23 | gnu: hypre: Add missing dependencies on latex fonts. | Ontje Lünsdorf |
2022-06-08 | Merge branch 'master' into staging | Ludovic Courtès |
2022-06-06 | gnu: itpp: Avoid embedding build dates. | Vagrant Cascadian |
2022-06-01 | Merge remote-tracking branch 'origin/master' into staging | Efraim Flashner |
2022-05-31 | gnu: Remove python2-kiwisolver. | Maxim Cournoyer |
2022-05-31 | gnu: Remove python2-numpy. | Maxim Cournoyer |
2022-06-04 | gnu: ruby-asciimath: Update to 2.0.4. | SeerLite |
2022-05-28 | gnu: nlopt: Update to 2.7.1. | Ricardo Wurmus |
2022-05-15 | gnu: openblas: Remove input labels. | Ludovic Courtès |
2022-05-15 | gnu: openblas: Update to 0.3.20 | Aurora |
2022-05-05 | gnu: Add n2p2. | Pierre-Antoine Bouttier |
2022-05-03 | gnu: dealii: Update to 9.3.3. | Paul A. Patience |
2022-05-03 | gnu: dealii: Add SUNDIALS dependency. | Paul A. Patience |
2022-05-03 | gnu: dealii-openmpi: Remove input labels. | Paul A. Patience |
2022-05-03 | gnu: dealii: Remove trailing booleans. | Paul A. Patience |