aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
Commit message (Expand)AuthorAge
* Merge branch 'master' into stagingLudovic Courtès2019-01-20
|\
| * gnu: z3: Update to 4.8.4.Amin Bandali2019-01-18
| * gnu: Separate Python core packages from the rest.Ricardo Wurmus2019-01-15
* | Merge branch 'master' into stagingMarius Bakke2019-01-13
|\|
| * gnu: r-pracma: Update to 2.2.2.Ricardo Wurmus2019-01-12
* | Merge remote-tracking branch 'origin/master' into stagingEfraim Flashner2019-01-09
|\|
| * gnu: Move OCaml packages away from maths.scm.Ludovic Courtès2019-01-07
| * gnu: octave: Fix makeinfo path configuration.Arun Isaac2019-01-05
* | Merge branch 'master' into stagingMarius Bakke2018-12-23
|\|
| * gnu: z3: Update to 4.8.3 and provide python3 bindingsAmin Bandali2018-12-23
* | Merge branch 'master' into stagingMarius Bakke2018-12-22
|\|
| * gnu: elemental: Don't use unstable tarball.Efraim Flashner2018-12-17
| * gnu: elemental: Fix indentation.Efraim Flashner2018-12-17
| * gnu: z3: Fix building on non-Intel machines.Efraim Flashner2018-12-17
| * gnu: z3: Declare source-file-name.Efraim Flashner2018-12-17
| * gnu: hypre: Replace texlive input with minimal texlive-union.Pierre Neidhardt2018-12-14
* | Merge branch 'master' into stagingMarius Bakke2018-12-12
|\|
| * gnu: petsc-openmpi: Ensure compatibility of SCOTCH dependency.Paul Garlick2018-12-10
* | Merge branch 'master' into stagingMarius Bakke2018-12-09
|\|
| * gnu: Rename "qtoctave" to "octave".Kei Kebreau2018-12-08
| * gnu: Rename "octave" to "octave-cli".Kei Kebreau2018-12-08
| * gnu: petsc-openmpi: Configure with support for HYPRE preconditioner.Paul Garlick2018-12-04
* | gnu: OpenBLAS: Update to 0.3.4.Marius Bakke2018-12-04
|/
* Merge branch 'master' into core-updatesMarius Bakke2018-11-29
|\
| * gnu: maxima: Update to 5.42.1.Kei Kebreau2018-11-28
| * gnu: wxmaxima: Update to 18.11.4.Kei Kebreau2018-11-27
* | Merge branch 'master' into core-updatesMarius Bakke2018-11-24
|\|
| * gnu: python-slepc4py: Update to 3.10.0.Paul Garlick2018-11-23
| * gnu: python-petsc4py: Update to 3.10.0.Paul Garlick2018-11-23
| * gnu: slepc: Update to 3.10.1.Paul Garlick2018-11-23
| * gnu: petsc: Update to 3.10.2Paul Garlick2018-11-23
* | gnu: pt-scotch, pt-scotch32: Add Open MPI setup phase.Ludovic Courtès2018-11-23
* | Merge branch 'master' into core-updatesMarius Bakke2018-11-20
|\|
| * gnu: z3: Update to 4.8.1.Marius Bakke2018-11-20
| * gnu: z3: Fetch source using git.Marius Bakke2018-11-20
| * gnu: ocaml: Update to 4.7.0.Julien Lepiller2018-11-18
| * gnu: maxima: Fix tests on i686 and x86_64.Kei Kebreau2018-11-18
| * gnu: Add python-slepc4py.Paul Garlick2018-11-14
| * gnu: Add python-petsc4py.Paul Garlick2018-11-14
* | Merge branch 'master' into core-updatesMarius Bakke2018-11-09
|\|
| * gnu: wxmaxima: Update to 18.10.1.Kei Kebreau2018-11-09
* | Merge branch 'master' into core-updatesMarius Bakke2018-11-07
|\|
| * gnu: Add hdf5-1.10.Ricardo Wurmus2018-11-07
* | Merge branch 'master' into core-updatesMarius Bakke2018-11-05
|\|
| * gnu: glm: Update to 0.9.9.3.Marius Bakke2018-11-05
| * gnu: r-pracma: Update to 2.1.8.Ricardo Wurmus2018-10-30
| * gnu: units: Update to 2.18.Tobias Geerinckx-Rice2018-10-27
* | Merge branch 'master' into core-updatesMarius Bakke2018-10-21
|\|
| * gnu: maxima: Update to 5.42.0.Kei Kebreau2018-10-20
* | Merge branch 'master' into core-updatesMarius Bakke2018-10-17
|\|