| Age | Commit message (Expand) | Author |
|---|
| 2018-11-28 | gnu: maxima: Update to 5.42.1. | Kei Kebreau |
| 2018-11-27 | gnu: wxmaxima: Update to 18.11.4. | Kei Kebreau |
| 2018-11-23 | 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-20 | gnu: z3: Update to 4.8.1. | Marius Bakke |
| 2018-11-20 | gnu: z3: Fetch source using git. | Marius Bakke |
| 2018-11-18 | 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-14 | gnu: Add python-slepc4py. | Paul Garlick |
| 2018-11-14 | gnu: Add python-petsc4py. | Paul Garlick |
| 2018-11-09 | gnu: wxmaxima: Update to 18.10.1. | Kei Kebreau |
| 2018-11-07 | gnu: Add hdf5-1.10. | Ricardo Wurmus |
| 2018-11-05 | gnu: glm: Update to 0.9.9.3. | Marius Bakke |
| 2018-10-30 | gnu: r-pracma: Update to 2.1.8. | Ricardo Wurmus |
| 2018-10-27 | gnu: units: Update to 2.18. | Tobias Geerinckx-Rice |
| 2018-10-20 | gnu: maxima: Update to 5.42.0. | Kei Kebreau |
| 2018-10-11 | gnu: Add python-cvxopt. | Ricardo Wurmus |
| 2018-10-04 | gnu: petsc-openmpi: Configure with support for MUMPS solver. | Paul Garlick |
| 2018-09-24 | gnu: octave: Add a search path for CURLOPT_CAPATH. | Kei Kebreau |
| 2018-09-21 | gnu: hdf5-parallel-openmpi: Really enable parallel build. | Paul Garlick |
| 2018-09-21 | gnu: hdf5: Allow for absence of utility script. | Paul Garlick |
| 2018-09-20 | gnu: Use INVOKE & return #t from Ruby package phases. | Tobias Geerinckx-Rice |
| 2018-09-19 | gnu: glm: Update to 0.9.9.2. | Marius Bakke |
| 2018-09-19 | gnu: arpack-ng: Update to 3.6.3. | Marius Bakke |
| 2018-09-19 | gnu: arpack-ng: Don't use unstable tarball. | Marius Bakke |
| 2018-09-14 | gnu: Add openblas-ilp64. | Eric Brown |
| 2018-09-11 | mpi: Factorize openmpi setup build phase. | Eric Bavier |
| 2018-09-11 | gnu: arpack-ng-openmpi: Fix build. | Paul Garlick |
| 2018-09-10 | gnu: mcrl2: Use HTTPS home page. | Tobias Geerinckx-Rice |
| 2018-09-09 | gnu: OpenBLAS: Update source URI. | Marius Bakke |
| 2018-09-09 | gnu: glm: Update to 0.9.9.1. | Marius Bakke |
| 2018-09-05 | slepc: Upgrade to 3.9.2. | Eric Bavier |
| 2018-09-05 | petsc: Upgrade to 3.9.3. | Eric Bavier |
| 2018-09-05 | petsc: Move example code to "examples" output. | Eric Bavier |
| 2018-09-05 | gnu: Add SUNDIALS. | Eric Bavier |
| 2018-09-04 | gnu: petsc-openmpi: Configure with support for hdf5 data format. | Paul Garlick |
| 2018-09-03 | gnu: arpack-ng: Update to 3.6.2. | Marius Bakke |
| 2018-09-03 | gnu: arpack-ng: Drop redundant phase. | Marius Bakke |
| 2018-08-31 | gnu: hypre: Update to 2.14.0. | Eric Bavier |
| 2018-08-28 | gnu: r-pracma: Update to 2.1.5. | Tobias Geerinckx-Rice |
| 2018-08-19 | Merge branch 'staging' | Marius Bakke |
| 2018-08-18 | gnu: gnuplot: Update to 5.2.4. | Kei Kebreau |
| 2018-08-18 | gnu: cddlib: Update to 0.94i. | Kei Kebreau |
| 2018-08-17 | gnu: octave: Update to 4.4.1. | Kei Kebreau |
| 2018-08-17 | gnu: armadillo: Update to 9.100.5. | Tobias Geerinckx-Rice |
| 2018-08-16 | Merge branch 'master' into staging | Marius Bakke |
| 2018-08-16 | gnu: armadillo: Update to 9.100.4. | Tobias Geerinckx-Rice |
| 2018-08-15 | gnu: ocaml-gsl: Update to 1.22.0. | Kei Kebreau |
