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