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