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
*
Merge branch 'master' into core-updates
Ricardo Wurmus
2018-02-18
|
\
|
*
gnu: glpk: Update to 4.65.
Marius Bakke
2018-02-16
*
|
Merge branch 'master' into core-updates
Mark H Weaver
2018-02-13
|
\
|
|
*
gnu: r-pracma: Update to 2.1.4.
Ricardo Wurmus
2018-02-13
|
*
gnu: hdf5: Build with -fPIC.
Ricardo Wurmus
2018-02-12
*
|
Merge branch 'master' into core-updates
Mark H Weaver
2018-02-09
|
\
|
|
*
gnu: mcrl2: Fix typo in synopsis.
Tobias Geerinckx-Rice
2018-02-08
|
*
gnu: Add mcrl2.
Jan Nieuwenhuizen
2018-02-08
*
|
Merge branch 'master' into core-updates
Mark H Weaver
2018-02-03
|
\
|
|
*
gnu: slepc: Apply invoke to configure flags.
Eric Bavier
2018-02-02
|
*
gnu: Add Elemental.
Eric Bavier
2018-02-02
*
|
Merge branch 'master' into core-updates
Marius Bakke
2018-02-01
|
\
|
|
*
gnu: slepc: Update to 3.8.2.
Tobias Geerinckx-Rice
2018-01-29
|
*
gnu: slepc: Update licence.
Tobias Geerinckx-Rice
2018-01-29
|
*
gnu: fbcat, slepc: Use INVOKE.
Tobias Geerinckx-Rice
2018-01-29
|
*
gnu: openspecfun: Update to 0.5.3.
Tobias Geerinckx-Rice
2018-01-29
*
|
gnu: opencascade-oce: Fix build with glibc 2.26.
Leo Famulari
2018-01-16
*
|
Merge remote-tracking branch 'origin/master' into core-updates
Efraim Flashner
2017-12-31
|
\
|
|
*
gnu: Fix copyright symbol.
Ricardo Wurmus
2017-12-24
|
*
gnu, doc: Use HTTPS for cran.r-project.org home pages.
Tobias Geerinckx-Rice
2017-12-24
|
*
gnu: openblas: Build with LAPACK.
Dave Love
2017-12-23
*
|
Merge branch 'master' into core-updates
Leo Famulari
2017-12-21
|
\
|
|
*
gnu: wxmaxima: Update to 17.10.1.
Kei Kebreau
2017-12-19
*
|
gnu: Remove redundant cmake libdir configure flags.
Efraim Flashner
2017-12-19
*
|
Merge branch 'master' into core-updates
Marius Bakke
2017-12-19
|
\
|
|
*
gnu: ceres-solver: Update to 1.13.0.
Eric Bavier
2017-12-15
|
*
gnu: glpk: Update to 4.64.
Efraim Flashner
2017-12-09
*
|
Merge branch 'master' into core-updates
Marius Bakke
2017-12-05
|
\
|
|
*
gnu: coda: Update to 2.18.3.
Tobias Geerinckx-Rice
2017-12-04
|
*
gnu: r-pracma: Update to 2.1.1.
Ricardo Wurmus
2017-11-30
*
|
Merge branch 'master' into core-updates
Marius Bakke
2017-11-19
|
\
|
|
*
gnu: Move more packages from python to python-web.
Ludovic Courtès
2017-11-16
|
*
gnu: Remove "open source" from descriptions.
Ricardo Wurmus
2017-11-08
*
|
Merge branch 'master' into core-updates
Marius Bakke
2017-11-02
|
\
|
|
*
gnu: units: Add readline input.
Eric Bavier
2017-11-01
|
*
gnu: units: Add python input.
Eric Bavier
2017-11-01
|
*
gnu: units: Update to 2.16.
Eric Bavier
2017-11-01
*
|
Merge branch 'master' into core-updates
Tobias Geerinckx-Rice
2017-10-25
|
\
|
|
*
gnu: dealii: Update to 8.5.1.
Eric Bavier
2017-10-24
|
*
gnu: p4est: Update to 2.0.
Eric Bavier
2017-10-24
|
*
gnu: libhilbert: Remove package.
Eric Bavier
2017-10-24
|
*
gnu: slepc: Update to 3.8.0.
Eric Bavier
2017-10-24
|
*
gnu: petsc: Update to 3.8.0.
Eric Bavier
2017-10-24
*
|
Merge 'master' into core-updates
Thomas Danckaert
2017-10-16
|
\
|
|
*
gnu: maxima: Update to 5.41.0.
Kei Kebreau
2017-10-15
|
*
gnu: Add lapack-3.5.
Theodoros Foradis
2017-10-11
*
|
Merge branch 'master' into core-updates
Marius Bakke
2017-10-10
|
\
|
|
*
Merge branch 'staging'
Marius Bakke
2017-10-10
|
|
\
|
|
*
Merge branch 'master' into staging
Marius Bakke
2017-10-06
|
|
|
\
|
|
*
\
Merge branch 'master' into staging
Marius Bakke
2017-10-05
|
|
|
\
\
[next]