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
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
gnu
/
packages
/
maths.scm
Commit message (
Expand
)
Author
Age
*
Merge branch 'master' into core-updates
Ludovic Courtès
2019-10-01
|
\
|
*
gnu: Add mcrl2-minimal.
Jan Nieuwenhuizen
2019-09-30
|
*
gnu: mcrl2: Update to 201908.0.
Jan Nieuwenhuizen
2019-09-30
|
*
gnu: z3: Update to 4.8.6.
Tobias Geerinckx-Rice
2019-09-28
|
*
gnu: dealii: Update to 9.1.1.
Eric Bavier
2019-09-27
*
|
Merge branch 'master' into core-updates
Marius Bakke
2019-09-27
|
\
|
|
*
gnu: glm: Update to 0.9.9.6.
Tobias Geerinckx-Rice
2019-09-24
*
|
Merge branch 'master' into core-updates
Ludovic Courtès
2019-09-24
|
\
|
|
*
gnu: wxmaxima: Update to 19.09.0.
Tobias Geerinckx-Rice
2019-09-21
|
*
gnu: octave: Use texlive-union.
Ricardo Wurmus
2019-09-20
*
|
Merge branch 'master' into core-updates
Ludovic Courtès
2019-09-17
|
\
|
|
*
gnu: gmsh: Update home page.
Paul Garlick
2019-09-13
|
*
gnu: openblas: Set 'NUM_THREADS'.
Ludovic Courtès
2019-09-13
|
*
gnu: gmsh: Fetch source from Git.
Paul Garlick
2019-09-12
|
*
gnu: hypre: Update texlive-union.
Ricardo Wurmus
2019-09-12
*
|
Merge branch 'master' into core-updates
Mark H Weaver
2019-09-06
|
\
|
|
*
gnu: hdf4: Update to 4.2.14.
Marius Bakke
2019-09-04
|
*
gnu: Add speedcrunch.
Steve Sprang
2019-08-31
*
|
gnu: hdf-eos2: Add libtirpc input.
Marius Bakke
2019-09-03
*
|
gnu: hdf4: Build with libtirpc.
Marius Bakke
2019-09-03
*
|
Merge branch 'master' into core-updates
Mark H Weaver
2019-08-29
|
\
|
|
*
gnu: python-cvxopt: Update to 1.2.3.
Tobias Geerinckx-Rice
2019-08-26
*
|
Merge branch 'master' into core-updates
Mark H Weaver
2019-08-22
|
\
|
|
*
gnu: wxmaxima: Update to 19.08.0.
Kei Kebreau
2019-08-20
*
|
Merge branch 'master' into core-updates
Marius Bakke
2019-08-13
|
\
|
|
*
Merge branch 'master' into staging
Marius Bakke
2019-08-08
|
|
\
|
|
*
gnu: r-desolve: Update to 1.24.
Ricardo Wurmus
2019-08-06
|
*
|
gnu: double-conversion: Update to 3.1.5.
Marius Bakke
2019-08-04
|
|
/
*
|
Merge branch 'master' into core-updates
Ludovic Courtès
2019-07-17
|
\
|
|
*
gnu: Add opencascade-occt.
Paul Garlick
2019-07-16
*
|
gnu: Adjust uses of C{,PLUS}_INCLUDE_PATH for GCC 7.
Marius Bakke
2019-07-14
*
|
Merge branch 'staging' into core-updates
Marius Bakke
2019-07-02
|
\
|
|
*
gnu: octave-cli: Sort inputs alphabetically.
Efraim Flashner
2019-07-02
|
*
gnu: atlas: All phases return #t.
Efraim Flashner
2019-06-28
*
|
Merge branch 'master' into core-updates
Ludovic Courtès
2019-06-27
|
\
|
|
*
gnu: gnuplot: Update to 5.2.7.
Tobias Geerinckx-Rice
2019-06-21
*
|
Merge branch 'staging' into core-updates
Marius Bakke
2019-06-20
|
\
|
|
*
gnu: Add ppl.
Andreas Enge
2019-06-20
|
*
gnu: Move ratpoints into a different module.
Nicolas Goaziou
2019-06-20
|
*
gnu: Add ratpoints.
Nicolas Goaziou
2019-06-19
|
*
gnu: edge-addition-planarity-suite: Move to the (gnu packages graph) module.
Andreas Enge
2019-06-17
|
*
gnu: Add edge-addition-planarity-suite.
Andreas Enge
2019-06-17
|
*
gnu: units: Update to 2.19.
Ludovic Courtès
2019-06-15
*
|
Merge branch 'master' into core-updates
Ludovic Courtès
2019-06-13
|
\
|
|
*
gnu: wxmaxima: Update to 19.05.7.
Kei Kebreau
2019-06-04
|
*
gnu: maxima: Update to 5.43.0.
Kei Kebreau
2019-06-04
|
*
gnu: dealii-openmpi: Add hdf5-parallel-openmpi input.
Eric Bavier
2019-05-31
|
*
gnu: slepc: Update to 3.11.1.
Eric Bavier
2019-05-31
|
*
gnu: petsc: Update to 3.11.2.
Eric Bavier
2019-05-31
|
*
gnu: petsc-complex-mpi: Setup MPI for tests.
Eric Bavier
2019-05-31
[next]