Show patches with: Series =       |    State = Action Required       |    Archived = No       |   9 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bug#64249,ocaml-team,v4,9/9] FIXME: gnu: opam: Update to 2.1.5. Untitled series #7419 - - - --- 2023-07-28 pukkamustard New
[bug#64249,ocaml-team,v4,8/9] gnu: Add opam-installer. Untitled series #7419 - - - --- 2023-07-28 pukkamustard New
[bug#64249,ocaml-team,v4,7/9] gnu: opam: Split build into smaller sub-packages. Untitled series #7419 - - - --- 2023-07-28 pukkamustard New
[bug#64249,ocaml-team,v4,6/9] gnu: dune-bootstrap: Update to 3.9.1. Untitled series #7419 - - - --- 2023-07-28 pukkamustard New
[bug#64249,ocaml-team,v4,5/9] gnu: coq: Update to 8.17.1. Untitled series #7419 - - - --- 2023-07-28 pukkamustard New
[bug#64249,ocaml-team,v4,4/9] gnu: Update coq-mathcomp to 1.17.0. Untitled series #7419 - - - --- 2023-07-28 pukkamustard New
[bug#64249,ocaml-team,v4,3/9] gnu: Update coq-gappa to 1.5.3. Untitled series #7419 - - - --- 2023-07-28 pukkamustard New
[bug#64249,ocaml-team,v4,2/9] gnu: Update coq-flocq to 4.1.1. Untitled series #7419 - - - --- 2023-07-28 pukkamustard New
[bug#64249,ocaml-team,v4,1/9] gnu: ocaml: Update to 4.14.1. Untitled series #7419 - - - --- 2023-07-28 pukkamustard New