| Commit message (Expand) | Author | Age |
* | gnu: maxima: Patch hardcoded paths. | Kei Kebreau | 2019-01-26 |
* | gnu: dealii-openmpi: Setup MPI for tests. | Eric Bavier | 2019-01-25 |
* | superlu-dist: Upgrade to 6.1.0. | Eric Bavier | 2019-01-25 |
* | scotch: Upgrade to 6.0.6. | Eric Bavier | 2019-01-25 |
* | gnu: Add Combinatorial BLAS. | Eric Bavier | 2019-01-25 |
* | gnu: z3: Update to 4.8.4. | Amin Bandali | 2019-01-18 |
* | gnu: Separate Python core packages from the rest. | Ricardo Wurmus | 2019-01-15 |
* | gnu: r-pracma: Update to 2.2.2. | Ricardo Wurmus | 2019-01-12 |
* | gnu: Move OCaml packages away from maths.scm. | Ludovic Courtès | 2019-01-07 |
* | gnu: octave: Fix makeinfo path configuration. | Arun Isaac | 2019-01-05 |
* | gnu: z3: Update to 4.8.3 and provide python3 bindings | Amin Bandali | 2018-12-23 |
* | gnu: elemental: Don't use unstable tarball. | Efraim Flashner | 2018-12-17 |
* | gnu: elemental: Fix indentation. | Efraim Flashner | 2018-12-17 |
* | gnu: z3: Fix building on non-Intel machines. | Efraim Flashner | 2018-12-17 |
* | gnu: z3: Declare source-file-name. | Efraim Flashner | 2018-12-17 |
* | gnu: hypre: Replace texlive input with minimal texlive-union. | Pierre Neidhardt | 2018-12-14 |
* | gnu: petsc-openmpi: Ensure compatibility of SCOTCH dependency. | Paul Garlick | 2018-12-10 |
* | gnu: Rename "qtoctave" to "octave". | Kei Kebreau | 2018-12-08 |
* | gnu: Rename "octave" to "octave-cli". | Kei Kebreau | 2018-12-08 |
* | gnu: petsc-openmpi: Configure with support for HYPRE preconditioner. | Paul Garlick | 2018-12-04 |
* | Merge branch 'master' into core-updates | Marius Bakke | 2018-11-29 |
|\ |
|
| * | gnu: maxima: Update to 5.42.1. | Kei Kebreau | 2018-11-28 |
| * | gnu: wxmaxima: Update to 18.11.4. | Kei Kebreau | 2018-11-27 |
* | | Merge branch 'master' into core-updates | Marius Bakke | 2018-11-24 |
|\| |
|
| * | gnu: python-slepc4py: Update to 3.10.0. | Paul Garlick | 2018-11-23 |
| * | gnu: python-petsc4py: Update to 3.10.0. | Paul Garlick | 2018-11-23 |
| * | gnu: slepc: Update to 3.10.1. | Paul Garlick | 2018-11-23 |
| * | gnu: petsc: Update to 3.10.2 | Paul Garlick | 2018-11-23 |
* | | gnu: pt-scotch, pt-scotch32: Add Open MPI setup phase. | Ludovic Courtès | 2018-11-23 |
* | | Merge branch 'master' into core-updates | Marius Bakke | 2018-11-20 |
|\| |
|
| * | gnu: z3: Update to 4.8.1. | Marius Bakke | 2018-11-20 |
| * | gnu: z3: Fetch source using git. | Marius Bakke | 2018-11-20 |
| * | gnu: ocaml: Update to 4.7.0. | Julien Lepiller | 2018-11-18 |
| * | gnu: maxima: Fix tests on i686 and x86_64. | Kei Kebreau | 2018-11-18 |
| * | gnu: Add python-slepc4py. | Paul Garlick | 2018-11-14 |
| * | gnu: Add python-petsc4py. | Paul Garlick | 2018-11-14 |
* | | Merge branch 'master' into core-updates | Marius Bakke | 2018-11-09 |
|\| |
|
| * | gnu: wxmaxima: Update to 18.10.1. | Kei Kebreau | 2018-11-09 |
* | | Merge branch 'master' into core-updates | Marius Bakke | 2018-11-07 |
|\| |
|
| * | gnu: Add hdf5-1.10. | Ricardo Wurmus | 2018-11-07 |
* | | Merge branch 'master' into core-updates | Marius Bakke | 2018-11-05 |
|\| |
|
| * | gnu: glm: Update to 0.9.9.3. | Marius Bakke | 2018-11-05 |
| * | gnu: r-pracma: Update to 2.1.8. | Ricardo Wurmus | 2018-10-30 |
| * | gnu: units: Update to 2.18. | Tobias Geerinckx-Rice | 2018-10-27 |
* | | Merge branch 'master' into core-updates | Marius Bakke | 2018-10-21 |
|\| |
|
| * | gnu: maxima: Update to 5.42.0. | Kei Kebreau | 2018-10-20 |
* | | Merge branch 'master' into core-updates | Marius Bakke | 2018-10-17 |
|\| |
|
| * | gnu: Add python-cvxopt. | Ricardo Wurmus | 2018-10-11 |
* | | Merge branch 'master' into core-updates | Marius Bakke | 2018-10-05 |
|\| |
|
| * | gnu: petsc-openmpi: Configure with support for MUMPS solver. | Paul Garlick | 2018-10-04 |