Show patches with: Series = [bug#64249,v9,01/34] gnu: ocaml: Update to 4.14.1.       |    Archived = No       |   34 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bug#64249,v9,34/34] gnu: opam: Update to 2.1.5. [bug#64249,v9,01/34] gnu: ocaml: Update to 4.14.1. - - - --- 2024-01-10 Julien Lepiller New
[bug#64249,v9,33/34] gnu: ocaml-base64: Update to 3.5.1. [bug#64249,v9,01/34] gnu: ocaml: Update to 4.14.1. - - - --- 2024-01-10 Julien Lepiller New
[bug#64249,v9,32/34] gnu: frama-c: Update to 27.1. [bug#64249,v9,01/34] gnu: ocaml: Update to 4.14.1. - - - --- 2024-01-10 Julien Lepiller New
[bug#64249,v9,31/34] gnu: Add dune-site. [bug#64249,v9,01/34] gnu: ocaml: Update to 4.14.1. - - - --- 2024-01-10 Julien Lepiller New
[bug#64249,v9,30/34] gnu: Add dune-private-libs. [bug#64249,v9,01/34] gnu: ocaml: Update to 4.14.1. - - - --- 2024-01-10 Julien Lepiller New
[bug#64249,v9,29/34] gnu: Add dune-stdune. [bug#64249,v9,01/34] gnu: ocaml: Update to 4.14.1. - - - --- 2024-01-10 Julien Lepiller New
[bug#64249,v9,28/34] gnu: Add dune-dyn. [bug#64249,v9,01/34] gnu: ocaml: Update to 4.14.1. - - - --- 2024-01-10 Julien Lepiller New
[bug#64249,v9,27/34] gnu: Add dune-ordering. [bug#64249,v9,01/34] gnu: ocaml: Update to 4.14.1. - - - --- 2024-01-10 Julien Lepiller New
[bug#64249,v9,26/34] gnu: Add ocaml-pp. [bug#64249,v9,01/34] gnu: ocaml: Update to 4.14.1. - - - --- 2024-01-10 Julien Lepiller New
[bug#64249,v9,25/34] gnu: Add ocaml-ppx-import. [bug#64249,v9,01/34] gnu: ocaml: Update to 4.14.1. - - - --- 2024-01-10 Julien Lepiller New
[bug#64249,v9,24/34] gnu: Add ocaml-ppx-deriving-yaml. [bug#64249,v9,01/34] gnu: ocaml: Update to 4.14.1. - - - --- 2024-01-10 Julien Lepiller New
[bug#64249,v9,23/34] gnu: Add ocaml-yaml. [bug#64249,v9,01/34] gnu: ocaml: Update to 4.14.1. - - - --- 2024-01-10 Julien Lepiller New
[bug#64249,v9,22/34] gnu: Add ocaml-junit-alcotest. [bug#64249,v9,01/34] gnu: ocaml: Update to 4.14.1. - - - --- 2024-01-10 Julien Lepiller New
[bug#64249,v9,21/34] gnu: Add ocaml-junit. [bug#64249,v9,01/34] gnu: ocaml: Update to 4.14.1. - - - --- 2024-01-10 Julien Lepiller New
[bug#64249,v9,20/34] gnu: Add ocaml-ppx-deriving-yojson. [bug#64249,v9,01/34] gnu: ocaml: Update to 4.14.1. - - - --- 2024-01-10 Julien Lepiller New
[bug#64249,v9,19/34] gnu: ocaml-ppx-bench: Update to 0.16.0. [bug#64249,v9,01/34] gnu: ocaml: Update to 4.14.1. - - - --- 2024-01-10 Julien Lepiller New
[bug#64249,v9,18/34] gnu: ocaml-jst-config: Update to 0.16.0. [bug#64249,v9,01/34] gnu: ocaml: Update to 4.14.1. - - - --- 2024-01-10 Julien Lepiller New
[bug#64249,v9,17/34] gnu: ocaml-ppx-bin-prot: Update to 0.16.0. [bug#64249,v9,01/34] gnu: ocaml: Update to 4.14.1. - - - --- 2024-01-10 Julien Lepiller New
[bug#64249,v9,16/34] gnu: ocaml-bin-prot: Update to 0.16.0. [bug#64249,v9,01/34] gnu: ocaml: Update to 4.14.1. - - - --- 2024-01-10 Julien Lepiller New
[bug#64249,v9,15/34] gnu: Add ocaml-ppx-stable-witness. [bug#64249,v9,01/34] gnu: ocaml: Update to 4.14.1. - - - --- 2024-01-10 Julien Lepiller New
[bug#64249,v9,14/34] gnu: ocaml-ppxlib: Update to 0.28. [bug#64249,v9,01/34] gnu: ocaml: Update to 4.14.1. - - - --- 2024-01-10 Julien Lepiller New
[bug#64249,v9,13/34] gnu: ocaml-sexplib: Update to 0.16.0. [bug#64249,v9,01/34] gnu: ocaml: Update to 4.14.1. - - - --- 2024-01-10 Julien Lepiller New
[bug#64249,v9,12/34] gnu: ocaml-alcotest: Update to 1.7.0. [bug#64249,v9,01/34] gnu: ocaml: Update to 4.14.1. - - - --- 2024-01-10 Julien Lepiller New
[bug#64249,v9,11/34] gnu: opam: Split build into smaller sub-packages. [bug#64249,v9,01/34] gnu: ocaml: Update to 4.14.1. - - - --- 2024-01-10 Julien Lepiller New
[bug#64249,v9,10/34] gnu: dune-bootstrap: Update to 3.11.0. [bug#64249,v9,01/34] gnu: ocaml: Update to 4.14.1. - - - --- 2024-01-10 Julien Lepiller New
[bug#64249,v9,09/34] gnu: coq: Update to 8.17.1. [bug#64249,v9,01/34] gnu: ocaml: Update to 4.14.1. - - - --- 2024-01-10 Julien Lepiller New
[bug#64249,v9,08/34] gnu: Update coq-interval to 4.8.0. [bug#64249,v9,01/34] gnu: ocaml: Update to 4.14.1. - - - --- 2024-01-10 Julien Lepiller New
[bug#64249,v9,07/34] gnu: Update coq-stdpp to 1.8.0. [bug#64249,v9,01/34] gnu: ocaml: Update to 4.14.1. - - - --- 2024-01-10 Julien Lepiller New
[bug#64249,v9,06/34] gnu: Update coq-autosubst to 1.8. [bug#64249,v9,01/34] gnu: ocaml: Update to 4.14.1. - - - --- 2024-01-10 Julien Lepiller New
[bug#64249,v9,05/34] gnu: Update coq-mathcomp to 1.17.0. [bug#64249,v9,01/34] gnu: ocaml: Update to 4.14.1. - - - --- 2024-01-10 Julien Lepiller New
[bug#64249,v9,04/34] gnu: Update coq-coquelicot to 3.4.0. [bug#64249,v9,01/34] gnu: ocaml: Update to 4.14.1. - - - --- 2024-01-10 Julien Lepiller New
[bug#64249,v9,03/34] gnu: Update coq-gappa to 1.5.3. [bug#64249,v9,01/34] gnu: ocaml: Update to 4.14.1. - - - --- 2024-01-10 Julien Lepiller New
[bug#64249,v9,02/34] gnu: Update coq-flocq to 4.1.1. [bug#64249,v9,01/34] gnu: ocaml: Update to 4.14.1. - - - --- 2024-01-10 Julien Lepiller New
[bug#64249,v9,01/34] gnu: ocaml: Update to 4.14.1. [bug#64249,v9,01/34] gnu: ocaml: Update to 4.14.1. - - - --- 2024-01-10 Julien Lepiller New