branch master updated (aeaabc4253 -> 06201b76e5)

[guix-commits]

apteryx pushed a change to branch master
in repository guix.

    from aeaabc4253 news: Add 'pt' translation.
     new 9945f9419d gnu-maintenance: Remove retired 'gforge.inria.fr' site.
     new 2b08945cbb gnu: gf2x: Migrate from gforge.inria.fr to gitlab.inria.fr.
     new 795f90ea4e gnu: gf2x: Update to 1.3.0.
     new bcc61c08be gnu: gmp-ecm: Update to 7.0.5.
     new 0f46559331 gnu: gappa: Update to 1.4.1.
     new 384b98028c gnu: gappa: Honor TESTS?.
     new efb974a6fa gnu: isl: Remove outdated comment.
     new a001be9664 gnu: mpfi: Use gexps and remove input labels.
     new 8ad1978695 gnu: mpfi: Update to 1.5.4-1.b982534.
     new a93781b83c gnu: Remove unused scotch patches.
     new 1390e38264 gnu: ocaml-dose3: Migrate from gforce.inria.fr.
     new 67e9513e40 gnu: r-spams: Update to 2.6.1.
     new 06201b76e5 gnu: Remove ocaml-craml.

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


Summary of changes:
 gnu/local.mk                                       |   2 -
 gnu/packages/algebra.scm                           | 159 +++++++++++----------
 gnu/packages/gcc.scm                               |   1 -
 gnu/packages/multiprecision.scm                    |  73 ++++++----
 gnu/packages/ocaml.scm                             |  42 +-----
 .../patches/scotch-build-parallelism.patch         |  39 -----
 .../patches/scotch-integer-declarations.patch      |  37 -----
 gnu/packages/statistics.scm                        |  72 +++++++---
 guix/gnu-maintenance.scm                           |   3 +-
 9 files changed, 187 insertions(+), 241 deletions(-)
 delete mode 100644 gnu/packages/patches/scotch-build-parallelism.patch
 delete mode 100644 gnu/packages/patches/scotch-integer-declarations.patch