branch master updated (058262eec4 -> e2802132e3)

[guix-commits]

roptat pushed a change to branch master
in repository guix.

    from 058262eec4 gnu: sbcl: Remove obsolete fix-shared-library-makefile 
phase.
     new ba179aa797 gnu: dune-bootstrap: Update to 3.5.0.
     new 0e1b544002 gnu: ocaml-fileutils: Update to 0.6.4.
     new c1cafe27a1 gnu: ocaml-digestif: Update to 1.1.3.
     new 0e27aa1213 gnu: ocaml-ocp-index: Update to 1.3.4.
     new 7c51514f07 gnu: ocaml-ssl: Update to 0.5.13.
     new 82da66971f gnu: Remove emacs-flycheck-dedukti.
     new 2e67329415 gnu: Remove emacs-dedukti-mode.
     new e2802132e3 gnu: dedukti: Update to 2.7.

The 8 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/packages/ocaml.scm | 106 ++++++++-----------------------------------------
 1 file changed, 16 insertions(+), 90 deletions(-)