summaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
AgeCommit message (Expand)Author
2018-12-23gnu: z3: Update to 4.8.3 and provide python3 bindingsAmin Bandali
2018-12-17gnu: elemental: Don't use unstable tarball.Efraim Flashner
2018-12-17gnu: elemental: Fix indentation.Efraim Flashner
2018-12-17gnu: z3: Fix building on non-Intel machines.Efraim Flashner
2018-12-17gnu: z3: Declare source-file-name.Efraim Flashner
2018-12-14gnu: hypre: Replace texlive input with minimal texlive-union.Pierre Neidhardt
2018-12-10gnu: petsc-openmpi: Ensure compatibility of SCOTCH dependency.Paul Garlick
2018-12-08gnu: Rename "qtoctave" to "octave".Kei Kebreau
2018-12-08gnu: Rename "octave" to "octave-cli".Kei Kebreau
2018-12-04gnu: petsc-openmpi: Configure with support for HYPRE preconditioner.Paul Garlick
2018-11-29Merge branch 'master' into core-updatesMarius Bakke
2018-11-28gnu: maxima: Update to 5.42.1.Kei Kebreau
2018-11-27gnu: wxmaxima: Update to 18.11.4.Kei Kebreau
2018-11-24Merge branch 'master' into core-updatesMarius Bakke
2018-11-23gnu: python-slepc4py: Update to 3.10.0.Paul Garlick
2018-11-23gnu: python-petsc4py: Update to 3.10.0.Paul Garlick
2018-11-23gnu: slepc: Update to 3.10.1.Paul Garlick
2018-11-23gnu: petsc: Update to 3.10.2Paul Garlick
2018-11-23gnu: pt-scotch, pt-scotch32: Add Open MPI setup phase.Ludovic Courtès
2018-11-20Merge branch 'master' into core-updatesMarius Bakke
2018-11-20gnu: z3: Update to 4.8.1.Marius Bakke
2018-11-20gnu: z3: Fetch source using git.Marius Bakke
2018-11-18gnu: ocaml: Update to 4.7.0.Julien Lepiller
2018-11-18gnu: maxima: Fix tests on i686 and x86_64.Kei Kebreau
2018-11-14gnu: Add python-slepc4py.Paul Garlick
2018-11-14gnu: Add python-petsc4py.Paul Garlick
2018-11-09Merge branch 'master' into core-updatesMarius Bakke
2018-11-09gnu: wxmaxima: Update to 18.10.1.Kei Kebreau
2018-11-07Merge branch 'master' into core-updatesMarius Bakke
2018-11-07gnu: Add hdf5-1.10.Ricardo Wurmus
2018-11-05Merge branch 'master' into core-updatesMarius Bakke
2018-11-05gnu: glm: Update to 0.9.9.3.Marius Bakke
2018-10-30gnu: r-pracma: Update to 2.1.8.Ricardo Wurmus
2018-10-27gnu: units: Update to 2.18.Tobias Geerinckx-Rice
2018-10-21Merge branch 'master' into core-updatesMarius Bakke
2018-10-20gnu: maxima: Update to 5.42.0.Kei Kebreau
2018-10-17Merge branch 'master' into core-updatesMarius Bakke
2018-10-11gnu: Add python-cvxopt.Ricardo Wurmus
2018-10-05Merge branch 'master' into core-updatesMarius Bakke
2018-10-04gnu: petsc-openmpi: Configure with support for MUMPS solver.Paul Garlick
2018-09-26Merge branch 'master' into core-updatesMarius Bakke
2018-09-24gnu: octave: Add a search path for CURLOPT_CAPATH.Kei Kebreau
2018-09-21gnu: hdf5-parallel-openmpi: Really enable parallel build.Paul Garlick
2018-09-21gnu: hdf5: Allow for absence of utility script.Paul Garlick
2018-09-20Merge branch 'master' into core-updatesMarius Bakke
2018-09-20gnu: Use INVOKE & return #t from Ruby package phases.Tobias Geerinckx-Rice
2018-09-19gnu: glm: Update to 0.9.9.2.Marius Bakke
2018-09-19gnu: arpack-ng: Update to 3.6.3.Marius Bakke
2018-09-19gnu: arpack-ng: Don't use unstable tarball.Marius Bakke
2018-09-14gnu: Add openblas-ilp64.Eric Brown