mbox series

[bug#64249,ocaml-team,v6,00/12] The one where OPAM finally works

Message ID cover.1694501410.git.pukkamustard@posteo.net
Headers show
Series The one where OPAM finally works | expand

Message

pukkamustard Sept. 12, 2023, 6:56 a.m. UTC 
Hello Guix,

Thanks to Julien's help this version finally build OPAM!

I'm currently very slow and it will probably take quite a bit of time for me to
look into the other things that could be updated in Guix's OCaml land (see
https://yhetil.org/guix/86bkhgc7jj.fsf@posteo.net/). Maybe it would make sense
to merge this patch series into master instead of having a too long-lived
ocaml-team branch? What do you think?

Cheers,
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.10.0.
  gnu: opam: Split build into smaller sub-packages.
  gnu: opam: Update to 2.1.5.

 gnu/local.mk                                  |   4 -
 gnu/packages/coq.scm                          | 152 +++----
 gnu/packages/ocaml.scm                        | 410 +++++++++++-------
 .../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 -
 7 files changed, 331 insertions(+), 454 deletions(-)
 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: 5db78e7c1b06d1b4892bdb3e153b95b21577271e