Show patches with: Series = [bug#70567,v2,1/7] gnu: ocaml-lablgtk3-sourceview3: Fix inputs.       |    State = Action Required       |    Archived = No       |   7 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bug#70567,v2,7/7] gnu: frama-c: Update to 28.1. [bug#70567,v2,1/7] gnu: ocaml-lablgtk3-sourceview3: Fix inputs. - - - --- 2024-04-25 Jean-Pierre De Jesus Diaz New
[bug#70567,v2,6/7] gnu: Add ocaml-unionfind. [bug#70567,v2,1/7] gnu: ocaml-lablgtk3-sourceview3: Fix inputs. - - - --- 2024-04-25 Jean-Pierre De Jesus Diaz New
[bug#70567,v2,5/7] gnu: why3: Enable extra features. [bug#70567,v2,1/7] gnu: ocaml-lablgtk3-sourceview3: Fix inputs. - - - --- 2024-04-25 Jean-Pierre De Jesus Diaz New
[bug#70567,v2,4/7] gnu: why3: Use new style. [bug#70567,v2,1/7] gnu: ocaml-lablgtk3-sourceview3: Fix inputs. - - - --- 2024-04-25 Jean-Pierre De Jesus Diaz New
[bug#70567,v2,3/7] gnu: why3: Update to 1.7.2. [bug#70567,v2,1/7] gnu: ocaml-lablgtk3-sourceview3: Fix inputs. - - - --- 2024-04-25 Jean-Pierre De Jesus Diaz New
[bug#70567,v2,2/7] gnu: coq-flocq: Update to 4.1.4. [bug#70567,v2,1/7] gnu: ocaml-lablgtk3-sourceview3: Fix inputs. - - - --- 2024-04-25 Jean-Pierre De Jesus Diaz New
[bug#70567,v2,1/7] gnu: ocaml-lablgtk3-sourceview3: Fix inputs. [bug#70567,v2,1/7] gnu: ocaml-lablgtk3-sourceview3: Fix inputs. - - - --- 2024-04-25 Jean-Pierre De Jesus Diaz New