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: openlibm: Use HTTPS home page.
Tobias Geerinckx-Rice
2020-03-14
*
gnu: define dune-*-openmpi packages
Felix Gruber
2020-03-14
*
gnu: dune-*: remove openmpi dependency
Felix Gruber
2020-03-14
*
gnu: suitesparse: Build with cmake-minimal.
Marius Bakke
2020-03-14
*
gnu: dune-istl: Build with suitesparse
Felix Gruber
2020-03-12
*
gnu: Add dune-subgrid
Felix Gruber
2020-03-12
*
gnu: Add dune-uggrid.
Felix Gruber
2020-03-12
*
gnu: dune-*: set up MPI for tests
Felix Gruber
2020-03-12
*
gnu: speedcrunch: Use HTTPS home page.
Tobias Geerinckx-Rice
2020-03-09
*
gnu: openblas: Use HTTPS home page.
Tobias Geerinckx-Rice
2020-03-07
*
gnu: wxmaxima: Update to 20.02.4.
Kei Kebreau
2020-03-06
*
gnu: SuiteSparse: Update to 5.7.1.
Felix Gruber
2020-03-04
*
gnu: z3: Build the Python bindings
Jakub Kądziołka
2020-02-23
*
gnu: Add vinci.
Andreas Enge
2020-02-21
*
gnu: octave, octave-cli: Update to 5.2.0.
Kei Kebreau
2020-02-10
*
gnu: superlu-dist: Update to 6.2.0.
Eric Bavier
2020-01-31
*
gnu: superlu: Update upstream url.
Eric Bavier
2020-01-31
*
gnu: wxmaxima: Update to 20.01.3.
Kei Kebreau
2020-01-23
*
gnu: elemental: Update home page.
Tobias Geerinckx-Rice
2020-01-19
*
gnu: petsc: Use HTTPS home page.
Tobias Geerinckx-Rice
2020-01-19
*
gnu: Use HTTPS for www.hdfgroup.org.
Tobias Geerinckx-Rice
2020-01-17
*
gnu: netcdf: Use HTTPS home page.
Tobias Geerinckx-Rice
2020-01-17
*
gnu: scotch: Use HTTPS home page.
Tobias Geerinckx-Rice
2020-01-17
*
Update email address for Amin Bandali.
Amin Bandali
2020-01-17
*
gnu: python-slepc4py: Update to 3.11.0.
Paul Garlick
2020-01-14
*
gnu: python-petsc4py: Update to 3.11.0.
Paul Garlick
2020-01-14
*
gnu: hdf5@1.10: Update to 1.10.6.
Tobias Geerinckx-Rice
2020-01-10
*
gnu: lapack: Update to 3.9.0.
Konrad Hinsen
2020-01-07
*
gnu: hdf5@1.10: Update to 1.10.5.
Ludovic Courtès
2019-12-13
*
gnu: Add lrslib.
Andreas Enge
2019-12-06
*
Merge branch 'staging'
Marius Bakke
2019-12-04
|
\
|
*
Merge branch 'master' into staging
Marius Bakke
2019-11-28
|
|
\
|
*
\
Merge branch 'master' into staging
Marius Bakke
2019-11-21
|
|
\
\
|
*
\
\
Merge branch 'master' into staging
Marius Bakke
2019-10-21
|
|
\
\
\
|
*
\
\
\
Merge branch 'master' into staging
Marius Bakke
2019-10-18
|
|
\
\
\
\
|
*
\
\
\
\
Merge branch 'master' into staging
Marius Bakke
2019-10-13
|
|
\
\
\
\
\
|
*
|
|
|
|
|
gnu: OpenBLAS: Update to 0.3.7.
Marius Bakke
2019-10-08
|
*
|
|
|
|
|
gnu: OpenBLAS: Incorporate grafted changes.
Marius Bakke
2019-10-08
*
|
|
|
|
|
|
gnu: z3: Update to 4.8.7.
Tobias Geerinckx-Rice
2019-12-01
*
|
|
|
|
|
|
gnu: nauty: Update to 2.6r12.
Tobias Geerinckx-Rice
2019-12-01
|
|
_
|
_
|
_
|
_
|
/
|
/
|
|
|
|
|
*
|
|
|
|
|
gnu: Remove obsolete import of R build system module.
Ricardo Wurmus
2019-11-27
*
|
|
|
|
|
gnu: r-subplex: Move to (gnu packages cran).
zimoun
2019-11-27
*
|
|
|
|
|
gnu: r-pracma: Move to (gnu packages cran).
zimoun
2019-11-27
*
|
|
|
|
|
gnu: r-desolve: Move to (gnu packages cran).
zimoun
2019-11-27
*
|
|
|
|
|
gnu: r-quadprog: Move to (gnu packages cran).
zimoun
2019-11-27
*
|
|
|
|
|
gnu: wxmaxima: Update to 19.11.1.
Kei Kebreau
2019-11-23
*
|
|
|
|
|
gnu: r-quadprog: Update to 1.5-8.
Tobias Geerinckx-Rice
2019-11-23
*
|
|
|
|
|
gnu: r-desolve: Update to 1.25.
Tobias Geerinckx-Rice
2019-11-23
|
|
_
|
_
|
_
|
/
|
/
|
|
|
|
*
|
|
|
|
gnu: Add minisat.
Robert Smith
2019-11-19
|
|
_
|
_
|
/
|
/
|
|
|
*
|
|
|
gnu: vc: Update to 1.4.1.
Marius Bakke
2019-10-20
|
|
_
|
/
|
/
|
|
[next]