summary refs log tree commit diff
path: root/gnu/packages/maths.scm
AgeCommit message (Expand)Author
2020-11-16gnu: z3: Update to 4.8.9.Martin Becze
2020-11-15gnu: superlu: Update to 5.2.2.Tobias Geerinckx-Rice
2020-11-11gnu: python-petsc4py: Fix build with python 3.8.Paul Garlick
2020-10-26gnu: netcdf-fortran: Update to 4.5.3.Christopher Baines
2020-10-26gnu: netcdf: Update to 4.7.4.Christopher Baines
2020-10-23gnu: hdf5: Default to 1.10.Ludovic Courtès
2020-10-08gnu: gmsh: Update to 4.6.0.zimoun
2020-10-01gnu: SuiteSparse: Update to 5.8.1.Greg Hogan
2020-09-30gnu: Fix package references.Efraim Flashner
2020-09-18Revert "gnu: openblas: Update to 0.3.10."Mathieu Othacehe
2020-09-18gnu: openblas: Update to 0.3.10.Greg Hogan
2020-09-17gnu: hdf5: Update to 1.10.7.Eric Bavier
2020-09-08gnu: metamath: Update to 0.192.B. Wilson
2020-08-27gnu: Add libflame.Efraim Flashner
2020-08-27gnu: lrslib: Update to 7.1.Andreas Enge
2020-08-26gnu: octave: Remove unneeded 'source' field.Ludovic Courtès
2020-08-26gnu: netcdf-parallel-openmpi: Allow MPI tests to pass.Ludovic Courtès
2020-08-26gnu: hdf5-parallel-openmpi: Update to 1.10.6.Ludovic Courtès
2020-08-26gnu: hdf5: Use 'package/inherit' for variants.Ludovic Courtès
2020-08-26gnu: hdf5: Distinguish the default hdf5 version.Ludovic Courtès
2020-08-16gnu: wxmaxima: Update to 20.06.6.Kei Kebreau
2020-08-16gnu: Add veusz.Vinicius Monego
2020-08-10gnu: Add clapack.Ricardo Wurmus
2020-08-04gnu: mcrl2: Update to 202006.0.Jan (janneke) Nieuwenhuizen
2020-07-23gnu: Add sleef.Vinicius Monego
2020-07-17gnu: java-junit: Install from pom file.Julien Lepiller
2020-07-12gnu: Remove ".git" from "https://github/…/….git".Ludovic Courtès
2020-07-11gnu: ruby-asciimath: Update to 2.0.1.Maxim Cournoyer
2020-07-09gnu: qalculate-gtk: Fix typo in description.Tobias Geerinckx-Rice
2020-07-07gnu: metamath: Update to 0.183.B. Wilson
2020-07-01gnu: Add metamath.B. Wilson
2020-06-30gnu: maxima: Update to 5.44.0.Kei Kebreau
2020-06-23gnu: xaos: Add a source file-name.Efraim Flashner
2020-06-10gnu: ipopt: Fix source URI.Nicolas Goaziou
2020-06-10gnu: ipopt: Use HTTPS home page URI.Nicolas Goaziou
2020-05-29gnu: xaos: Update to 4.0.Kei Kebreau
2020-05-29gnu: clp: Update to 1.17.6.Tobias Geerinckx-Rice
2020-05-27gnu: hdf4: Provide an absolute reference to libjpeg.Marius Bakke
2020-05-27gnu: nauty: Update to 2.7r1.Nicolas Goaziou
2020-05-25gnu: wxmaxima: Update to 20.04.0.Kei Kebreau
2020-05-25gnu: qhull: Update to 2019.1Ekaitz Zarraga
2020-05-17gnu: gsl: Disable failing tests on powerpc.Efraim Flashner
2020-05-16gnu: z3: Update to 4.8.8.Tobias Geerinckx-Rice
2020-05-13mailmap: Update entries for Nikita.nikita
2020-05-13gnu: glm: Update to 0.9.9.8.Marius Bakke
2020-05-10gnu: flann: Update to 1.9.1.Ludovic Courtès
2020-05-10gnu: flann: Remove "octave" output.Ludovic Courtès
2020-04-30Merge branch 'master' into core-updatesMarius Bakke
2020-04-28gnu: Add hdf5-blosc.Ricardo Wurmus
2020-04-23Merge branch 'master' into core-updatesMarius Bakke