[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#64249] [PATCH ocaml-team v6 00/12] The one where OPAM finally works
From: |
pukkamustard |
Subject: |
[bug#64249] [PATCH ocaml-team v6 00/12] The one where OPAM finally works |
Date: |
Tue, 12 Sep 2023 06:56:50 +0000 |
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
--
2.41.0
- [bug#64249] [PATCH ocaml-team v6 00/12] The one where OPAM finally works,
pukkamustard <=
- [bug#64249] [PATCH ocaml-team v6 05/12] gnu: Update coq-mathcomp to 1.17.0., pukkamustard, 2023/09/12
- [bug#64249] [PATCH ocaml-team v6 06/12] gnu: Update coq-autosubst to 1.8., pukkamustard, 2023/09/12
- [bug#64249] [PATCH ocaml-team v6 02/12] gnu: Update coq-flocq to 4.1.1., pukkamustard, 2023/09/12
- [bug#64249] [PATCH ocaml-team v6 04/12] gnu: Update coq-coquelicot to 3.4.0., pukkamustard, 2023/09/12
- [bug#64249] [PATCH ocaml-team v6 09/12] gnu: coq: Update to 8.17.1., pukkamustard, 2023/09/12
- [bug#64249] [PATCH ocaml-team v6 07/12] gnu: Update coq-stdpp to 1.8.0., pukkamustard, 2023/09/12
- [bug#64249] [PATCH ocaml-team v6 12/12] gnu: opam: Update to 2.1.5., pukkamustard, 2023/09/12