summary refs log tree commit diff
path: root/gnu/packages/maths.scm
AgeCommit message (Expand)Author
2022-11-21gnu: opencascade-occt: Update to 7.6.2.Artyom V. Poptsov
2022-11-14gnu: cddlib: Add source file-name.Efraim Flashner
2022-10-24gnu: Various typo fixes.Vagrant Cascadian
2022-10-16Merge branch 'staging'Marius Bakke
2022-10-15gnu: fp16: Fix build on i686-linux.Marius Bakke
2022-10-12Merge remote-tracking branch 'origin/master' into stagingEfraim Flashner
2022-10-02gnu: units: Update to 2.22.Mike Swanson
2022-09-27Merge branch 'master' into staging.Maxim Cournoyer
2022-09-22gnu: lablgtk3: Update to 3.1.2.Julien Lepiller
2022-08-27Merge branch 'master' into stagingMarius Bakke
2022-08-15gnu: Add kissat.Maximilian Heisinger
2022-08-14gnu: itpp: Remove non-deterministic log file.Vagrant Cascadian
2022-08-11Merge branch 'master' into stagingMarius Bakke
2022-08-08gnu: suitesparse: Update to 5.12.0.Greg Hogan
2022-08-10gnu: frama-c: Use lablgtk3.Julien Lepiller
2022-08-10gnu: maxima: Fix to find info files.Daniel Meißner
2022-08-09gnu: cddlib: Update to 0.94m.vicvbcun
2022-08-09gnu: wxmaxima: Update to 22.05.0.Andreas Enge
2022-08-09gnu: maxima: Update to 5.46.0.Andreas Enge
2022-08-05gnu: mumps: Add alternate source code URL.Ludovic Courtès
2022-08-05gnu: mumps: Update to 5.5.1FELŠÖCI Marek
2022-08-05gnu: veusz: Fix build.Felix Gruber
2022-08-04gnu: Add itex2mml.Philip McGrath
2022-08-02gnu: gnuplot: Update to 5.4.4.Paul A. Patience
2022-08-02gnu: gnuplot: Use G-expressions.Paul A. Patience
2022-08-02gnu: gnuplot: Remove input labels.Paul A. Patience
2022-08-02gnu: wcalc: Remove pre-generated files.Efraim Flashner
2022-08-01gnu: trilinos-for-dealii-openmpi: Use G-expressions.Paul A. Patience
2022-08-01gnu: trilinos-for-dealii-openmpi: Remove input labels.Paul A. Patience
2022-08-01gnu: dealii: Update to 9.4.0.Paul A. Patience
2022-08-01gnu: dealii: Use G-expressions.Paul A. Patience
2022-08-01gnu: trilinos-for-dealii-openmpi: Fix build.Paul A. Patience
2022-08-01gnu: hdf5-1.8: Add missing comma to linker flag.Paul A. Patience
2022-07-31gnu: qttools: Rename to qttools-5.Maxim Cournoyer
2022-07-31gnu: qtsvg: Rename variable to qtsvg-5.Maxim Cournoyer
2022-07-15gnu: gmsh: Update to 4.10.5.Paul A. Patience
2022-07-15gnu: gmsh: Remove trailing booleans.Paul A. Patience
2022-07-15gnu: gmsh: Remove input labels.Paul A. Patience
2022-07-13gnu: elpa: Update source URL.Maxim Cournoyer
2022-07-04gnu: nauty: Update package style.Nicolas Goaziou
2022-07-04gnu: nauty: Update to 2.7r4.Nicolas Goaziou
2022-07-04gnu: Add gizaSharlatan Hellseher
2022-07-04gnu: z3: Prefer CMake to build the package.Zhu Zihao
2022-07-04gnu: z3: Update to 4.8.17.Zhu Zihao
2022-07-04gnu: z3: Use G-expressions.Zhu Zihao
2022-07-01gnu: mcrl2: Update to 202206.0.Jan (janneke) Nieuwenhuizen
2022-06-30gnu: octave: Update to 7.1.0.Greg Hogan
2022-06-23gnu: hypre: Add missing dependencies on latex fonts.Ontje Lünsdorf
2022-06-08Merge branch 'master' into stagingLudovic Courtès
2022-06-06gnu: itpp: Avoid embedding build dates.Vagrant Cascadian