GNU bug report logs - #64249
[PATCH ocaml-team 1/2] gnu: ocaml: Update to 4.14.1.

Previous Next

Full log

Message #218 received at 64249 <at> debbugs.gnu.org (full text, mbox):

From: pukkamustard <pukkamustard <at> posteo.net>
To: 64249 <at> debbugs.gnu.org
Cc: pukkamustard <pukkamustard <at> posteo.net>,
 Julien Lepiller <julien <at> lepiller.eu>, Josselin Poiret <dev <at> jpoiret.xyz>
Subject: [PATCH v7 00/12] gnu: ocaml: Update to 4.14.1 - The one for CI
Date: Tue, 24 Oct 2023 16:00:03 +0000

Hello Guix,
Hello CI,

This is a V7 that bumps dune to 3.11.0, applies the coq fixup provided by
Josselin and rebases on master.

As discussed (https://issues.guix.gnu.org/64249#69) this is mostly for CI to do
its thing.

Julien, sorry for the delay. Your mail again didn't make it to my inbox...will
investigate.

-pukkamustard


pukkamustard (12):
  gnu: ocaml: Update to 4.14.1.
  gnu: Update coq-flocq to 4.1.1.
  gnu: Update coq-gappa to 1.5.3.
  gnu: Update coq-coquelicot to 3.4.0.
  gnu: Update coq-mathcomp to 1.17.0.
  gnu: Update coq-autosubst to 1.8.
  gnu: Update coq-stdpp to 1.8.0.
  gnu: Update coq-interval to 4.8.0.
  gnu: coq: Update to 8.17.1.
  gnu: dune-bootstrap: Update to 3.11.0.
  gnu: opam: Split build into smaller sub-packages.
  gnu: opam: Update to 2.1.5.

 gnu/local.mk                                  |   5 -
 gnu/packages/coq.scm                          | 163 +++----
 gnu/packages/ocaml.scm                        | 410 +++++++++++-------
 gnu/packages/patches/coq-fix-envvars.patch    |  53 ---
 .../ocaml-dose3-Fix-for-ocaml-4.06.patch      |  52 ---
 .../ocaml-dose3-Install-mli-cmx-etc.patch     | 133 ------
 .../ocaml-dose3-add-unix-dependency.patch     |  25 --
 .../ocaml-dose3-dont-make-printconf.patch     |   9 -
 8 files changed, 332 insertions(+), 518 deletions(-)
 delete mode 100644 gnu/packages/patches/coq-fix-envvars.patch
 delete mode 100644 gnu/packages/patches/ocaml-dose3-Fix-for-ocaml-4.06.patch
 delete mode 100644 gnu/packages/patches/ocaml-dose3-Install-mli-cmx-etc.patch
 delete mode 100644 gnu/packages/patches/ocaml-dose3-add-unix-dependency.patch
 delete mode 100644 gnu/packages/patches/ocaml-dose3-dont-make-printconf.patch


base-commit: d22d2a05c389207f8cdcf824be7738b1499a987c
-- 
2.41.0

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.