gds/gnu-guix - This repository contains snapshots of GNU Guix, to be used by the govuk-guix project.

	Commit message (Expand)	Author	Age
...
* \| \| \|	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
* \|	Merge branch 'master' into core-updates	Marius Bakke	2018-09-26
\|\\|
\| *	gnu: octave: Add a search path for CURLOPT_CAPATH.	Kei Kebreau	2018-09-24
\| *	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-21
* \|	Merge branch 'master' into core-updates	Marius Bakke	2018-09-20
\|\\|
\| *	gnu: Use INVOKE & return #t from Ruby package phases.	Tobias Geerinckx-Rice	2018-09-20
\| *	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-19
\| *	gnu: Add openblas-ilp64.	Eric Brown	2018-09-14
* \|	Merge branch 'master' into core-updates	Leo Famulari	2018-09-13
\|\\|
\| *	mpi: Factorize openmpi setup build phase.	Eric Bavier	2018-09-11
\| *	gnu: arpack-ng-openmpi: Fix build.	Paul Garlick	2018-09-11
\| *	gnu: mcrl2: Use HTTPS home page.	Tobias Geerinckx-Rice	2018-09-10
* \|	gnu: double-conversion: Update to 3.1.0.	Marius Bakke	2018-09-10