branch master updated (e921993 -> ae0f1dd)

[Ludovic Courtès]

civodul pushed a change to branch master
in repository guix.

      from  e921993   gnu: xf86-video-r128: Update to 6.12.0.
       new  ee2cfdf   download: Add Software Heritage as a content-addressed 
mirror.
       new  89f1fee   download: Access content-addressed mirrors over HTTPS.
       new  7a54b22   gnu: guix-daemon: Install 'guix-authenticate'.
       new  0fe1fba   daemon: Install 'authenticate' script under 
LIBEXECDIR/guix.
       new  54fcd54   gnu: Add python-mpi4py.
       new  90ff287   gnu: Add python-petsc4py.
       new  6b5687d   gnu: Add python-slepc4py.
       new  f7a4757   gnu: Add python-fenics-dijitso.
       new  3941cf5   gnu: Add python-fenics-ufl.
       new  0fc4998   gnu: Add python-fenics-fiat.
       new  6b7f1f8   gnu: Add python-fenics-ffc.
       new  0ace6c0   gnu: Add fenics-dolfin.
       new  ae0f1dd   gnu: Add fenics.

The 13 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.


Summary of changes:
 config-daemon.ac                                   |   4 +-
 gnu/packages/maths.scm                             |  72 +++
 gnu/packages/mpi.scm                               |  42 ++
 gnu/packages/package-management.scm                |   3 +-
 gnu/packages/simulation.scm                        | 490 ++++++++++++++++++++-
 guix/download.scm                                  |  35 +-
 nix/libstore/local-store.cc                        |  17 +-
 nix/local.mk                                       |   7 +-
 nix/nix-daemon/guix-daemon.cc                      |  12 -
 .../{guix-authenticate.in => authenticate.in}      |   0
 10 files changed, 646 insertions(+), 36 deletions(-)
 rename nix/scripts/{guix-authenticate.in => authenticate.in} (100%)