Show patches with: Series = gnu: frama-c: Update to 29.0.       |    State = Action Required       |    Archived = No       |   3 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bug#71748,3/3] gnu: frama-c: Add wrap-programs phase. gnu: frama-c: Update to 29.0. - - - --- 2024-06-24 Jean-Pierre De Jesus DIAZ New
[bug#71748,2/3] gnu: frama-c: Use G-Expressions. gnu: frama-c: Update to 29.0. - - - --- 2024-06-24 Jean-Pierre De Jesus DIAZ New
[bug#71748,1/3] gnu: frama-c: Update to 29.0. gnu: frama-c: Update to 29.0. - - - --- 2024-06-24 Jean-Pierre De Jesus DIAZ New