aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
Commit message (Expand)AuthorAge
* gnu: Add kissat.Maximilian Heisinger2022-08-15
* gnu: itpp: Remove non-deterministic log file.Vagrant Cascadian2022-08-14
* gnu: frama-c: Use lablgtk3.Julien Lepiller2022-08-10
* gnu: maxima: Fix to find info files.Daniel Meißner2022-08-10
* gnu: cddlib: Update to 0.94m.vicvbcun2022-08-09
* gnu: wxmaxima: Update to 22.05.0.Andreas Enge2022-08-09
* gnu: maxima: Update to 5.46.0.Andreas Enge2022-08-09
* gnu: mumps: Add alternate source code URL.Ludovic Courtès2022-08-05
* gnu: mumps: Update to 5.5.1FELŠÖCI Marek2022-08-05
* gnu: veusz: Fix build.Felix Gruber2022-08-05
* gnu: Add itex2mml.Philip McGrath2022-08-04
* gnu: gnuplot: Update to 5.4.4.Paul A. Patience2022-08-02
* gnu: gnuplot: Use G-expressions.Paul A. Patience2022-08-02
* gnu: gnuplot: Remove input labels.Paul A. Patience2022-08-02
* gnu: wcalc: Remove pre-generated files.Efraim Flashner2022-08-02
* gnu: trilinos-for-dealii-openmpi: Use G-expressions.Paul A. Patience2022-08-01
* gnu: trilinos-for-dealii-openmpi: Remove input labels.Paul A. Patience2022-08-01
* gnu: dealii: Update to 9.4.0.Paul A. Patience2022-08-01
* gnu: dealii: Use G-expressions.Paul A. Patience2022-08-01
* gnu: trilinos-for-dealii-openmpi: Fix build.Paul A. Patience2022-08-01
* gnu: hdf5-1.8: Add missing comma to linker flag.Paul A. Patience2022-08-01
* gnu: qttools: Rename to qttools-5.Maxim Cournoyer2022-07-31
* gnu: qtsvg: Rename variable to qtsvg-5.Maxim Cournoyer2022-07-31
* gnu: gmsh: Update to 4.10.5.Paul A. Patience2022-07-15
* gnu: gmsh: Remove trailing booleans.Paul A. Patience2022-07-15
* gnu: gmsh: Remove input labels.Paul A. Patience2022-07-15
* gnu: elpa: Update source URL.Maxim Cournoyer2022-07-13
* gnu: nauty: Update package style.Nicolas Goaziou2022-07-04
* gnu: nauty: Update to 2.7r4.Nicolas Goaziou2022-07-04
* gnu: Add gizaSharlatan Hellseher2022-07-04
* gnu: z3: Prefer CMake to build the package.Zhu Zihao2022-07-04
* gnu: z3: Update to 4.8.17.Zhu Zihao2022-07-04
* gnu: z3: Use G-expressions.Zhu Zihao2022-07-04
* gnu: mcrl2: Update to 202206.0.Jan (janneke) Nieuwenhuizen2022-07-01
* gnu: octave: Update to 7.1.0.Greg Hogan2022-06-30
* gnu: hypre: Add missing dependencies on latex fonts.Ontje Lünsdorf2022-06-23
* Merge branch 'master' into stagingLudovic Courtès2022-06-08
|\
| * gnu: itpp: Avoid embedding build dates.Vagrant Cascadian2022-06-06
| * gnu: ruby-asciimath: Update to 2.0.4.SeerLite2022-06-04
* | Merge remote-tracking branch 'origin/master' into stagingEfraim Flashner2022-06-01
|\|
| * gnu: Remove python2-kiwisolver.Maxim Cournoyer2022-05-31
| * gnu: Remove python2-numpy.Maxim Cournoyer2022-05-31
| * gnu: nlopt: Update to 2.7.1.Ricardo Wurmus2022-05-28
* | gnu: openblas: Remove input labels.Ludovic Courtès2022-05-15
* | gnu: openblas: Update to 0.3.20Aurora2022-05-15
|/
* gnu: Add n2p2.Pierre-Antoine Bouttier2022-05-05
* gnu: dealii: Update to 9.3.3.Paul A. Patience2022-05-03
* gnu: dealii: Add SUNDIALS dependency.Paul A. Patience2022-05-03
* gnu: dealii-openmpi: Remove input labels.Paul A. Patience2022-05-03
* gnu: dealii: Remove trailing booleans.Paul A. Patience2022-05-03