branch master updated (5023424f16 -> 8d596af2c9)

[guix-commits]

civodul pushed a change to branch master
in repository guix.

    from 5023424f16 gnu: Add clingo-dl.
     new 267786721b services: Add oci-container-service-type.
     new 5b910b4f7c gnu: scilab: Remove uneeded code.
     new d2a4beaf04 gnu: scilab: Activate tests and disable failing tests.
     new 70b1ac2bc5 gnu: scilab: Use gexp for tcl and tk libraries.
     new a4d7310ab9 gnu: scilab: Add phase rewrap-scilab-cli.
     new 4c4da25dbf gnu: scilab: Reindent.
     new 9d33830fd1 gnu: scilab: Update to 2024.0.0.
     new 671592c2dd gnu: scilab: Add phase set-version.
     new c7742721d1 gnu: scilab: Set default SCIHOME value.
     new ff8e8d2f1e gnu: Add vim-vader.
     new 33a1ee7f17 gnu: Add coq-for-coqtail.
     new ff61fc8e0f gnu: Add vim-coqtail.
     new 4acbdd40f8 gnu: guile-ts: Update to 0.2.0.
     new 779ba3a6d3 gnu: mpd: Update to 0.23.14.
     new 8d596af2c9 gnu: folly: Update to 2023.11.06.00.

The 15 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:
 doc/guix.texi                                  | 131 +++++++++++++
 gnu/packages/coq.scm                           |  27 +++
 gnu/packages/cpp.scm                           |   4 +-
 gnu/packages/guile-xyz.scm                     |   4 +-
 gnu/packages/maths.scm                         | 236 +++++++++++++---------
 gnu/packages/mpd.scm                           |   4 +-
 gnu/packages/patches/scilab-hdf5-1.8-api.patch |  71 -------
 gnu/packages/vim.scm                           | 115 +++++++++++
 gnu/services/docker.scm                        | 260 ++++++++++++++++++++++++-
 9 files changed, 679 insertions(+), 173 deletions(-)
 delete mode 100644 gnu/packages/patches/scilab-hdf5-1.8-api.patch