mbox series

[bug#64249,v7,00/12] gnu: ocaml: Update to 4.14.1 - The one for CI

Message ID cover.1698162760.git.pukkamustard@posteo.net
Headers show
Series gnu: ocaml: Update to 4.14.1 - The one for CI | expand

Message

pukkamustard Oct. 24, 2023, 4 p.m. UTC 
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