Show patches with: Series = [bug#52164,1/3] gnu: ocaml-semantics: Update to 8.14.0.       |    Archived = No       |   3 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bug#52164,3/3] gnu: coq: Update to 8.14.0. [bug#52164,1/3] gnu: ocaml-semantics: Update to 8.14.0. - - - 1-1 2021-11-28 Julien Lepiller Accepted
[bug#52164,2/3] gnu: proof-general: Update to latest commit. [bug#52164,1/3] gnu: ocaml-semantics: Update to 8.14.0. - - - 1-1 2021-11-28 Julien Lepiller Accepted
[bug#52164,1/3] gnu: ocaml-semantics: Update to 8.14.0. [bug#52164,1/3] gnu: ocaml-semantics: Update to 8.14.0. - - - 1-1 2021-11-28 Julien Lepiller Accepted