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