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