index
:
gds/gnu-guix
guix-for-govuk-mini-environment-admin
release
release_2
spike-end-to-end-test-system
spike-local-development-system-container
wip-postgresql-ssl
This repository contains snapshots of GNU Guix, to be used by the govuk-guix project.
Gitolite user
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
gnu
/
packages
/
maths.scm
Commit message (
Expand
)
Author
Age
*
gnu: maxima: Update to 5.42.1.
Kei Kebreau
2018-11-28
*
gnu: wxmaxima: Update to 18.11.4.
Kei Kebreau
2018-11-27
*
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: 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
*
gnu: wxmaxima: Update to 18.10.1.
Kei Kebreau
2018-11-09
*
gnu: Add hdf5-1.10.
Ricardo Wurmus
2018-11-07
*
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
*
gnu: maxima: Update to 5.42.0.
Kei Kebreau
2018-10-20
*
gnu: Add python-cvxopt.
Ricardo Wurmus
2018-10-11
*
gnu: petsc-openmpi: Configure with support for MUMPS solver.
Paul Garlick
2018-10-04
*
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
*
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
*
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: OpenBLAS: Update source URI.
Marius Bakke
2018-09-09
*
gnu: glm: Update to 0.9.9.1.
Marius Bakke
2018-09-09
*
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-05
*
gnu: petsc-openmpi: Configure with support for hdf5 data format.
Paul Garlick
2018-09-04
*
gnu: arpack-ng: Update to 3.6.2.
Marius Bakke
2018-09-03
*
gnu: arpack-ng: Drop redundant phase.
Marius Bakke
2018-09-03
*
gnu: hypre: Update to 2.14.0.
Eric Bavier
2018-08-31
*
gnu: r-pracma: Update to 2.1.5.
Tobias Geerinckx-Rice
2018-08-28
*
Merge branch 'staging'
Marius Bakke
2018-08-19
|
\
|
*
Merge branch 'master' into staging
Marius Bakke
2018-08-16
|
|
\
|
*
\
Merge branch 'master' into staging
Marius Bakke
2018-07-30
|
|
\
\
|
*
|
|
gnu: openblas: Update to 0.3.2.
Marius Bakke
2018-07-30
|
*
|
|
Merge branch 'master' into staging
Marius Bakke
2018-07-28
|
|
\
\
\
|
*
|
|
|
gnu: double-conversion: Update to 3.0.0.
Marius Bakke
2018-07-22
|
*
|
|
|
gnu: double-conversion: Update home page.
Marius Bakke
2018-07-22
|
*
|
|
|
gnu: openblas: Update to 0.3.1.
Marius Bakke
2018-07-13
[next]