Show patches with: Series = gnu: ocaml: Update to 4.14.1 - The one for CI       |    State = Action Required       |    Archived = No       |   12 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bug#64249,v7,12/12] gnu: opam: Update to 2.1.5. gnu: ocaml: Update to 4.14.1 - The one for CI - - - --- 2023-10-24 pukkamustard New
[bug#64249,v7,11/12] gnu: opam: Split build into smaller sub-packages. gnu: ocaml: Update to 4.14.1 - The one for CI - - - --- 2023-10-24 pukkamustard New
[bug#64249,v7,10/12] gnu: dune-bootstrap: Update to 3.11.0. gnu: ocaml: Update to 4.14.1 - The one for CI - - - --- 2023-10-24 pukkamustard New
[bug#64249,v7,09/12] gnu: coq: Update to 8.17.1. gnu: ocaml: Update to 4.14.1 - The one for CI - - - --- 2023-10-24 pukkamustard New
[bug#64249,v7,08/12] gnu: Update coq-interval to 4.8.0. gnu: ocaml: Update to 4.14.1 - The one for CI - - - --- 2023-10-24 pukkamustard New
[bug#64249,v7,07/12] gnu: Update coq-stdpp to 1.8.0. gnu: ocaml: Update to 4.14.1 - The one for CI - - - --- 2023-10-24 pukkamustard New
[bug#64249,v7,06/12] gnu: Update coq-autosubst to 1.8. gnu: ocaml: Update to 4.14.1 - The one for CI - - - --- 2023-10-24 pukkamustard New
[bug#64249,v7,05/12] gnu: Update coq-mathcomp to 1.17.0. gnu: ocaml: Update to 4.14.1 - The one for CI - - - --- 2023-10-24 pukkamustard New
[bug#64249,v7,04/12] gnu: Update coq-coquelicot to 3.4.0. gnu: ocaml: Update to 4.14.1 - The one for CI - - - --- 2023-10-24 pukkamustard New
[bug#64249,v7,03/12] gnu: Update coq-gappa to 1.5.3. gnu: ocaml: Update to 4.14.1 - The one for CI - - - --- 2023-10-24 pukkamustard New
[bug#64249,v7,02/12] gnu: Update coq-flocq to 4.1.1. gnu: ocaml: Update to 4.14.1 - The one for CI - - - --- 2023-10-24 pukkamustard New
[bug#64249,v7,01/12] gnu: ocaml: Update to 4.14.1. gnu: ocaml: Update to 4.14.1 - The one for CI - - - --- 2023-10-24 pukkamustard New