Show patches with: Series = [bug#64249,1/9] gnu: why3: Update to 1.6.0.       |    State = Action Required       |    Archived = No       |   9 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bug#64249,9/9] gnu: update frama-c to 27.1-Cobalt. [bug#64249,1/9] gnu: why3: Update to 1.6.0. - - - --- 2023-12-24 pjals--- via Guix-patches via New
[bug#64249,8/9] gnu: Add ocaml-dune-site. [bug#64249,1/9] gnu: why3: Update to 1.6.0. - - - --- 2023-12-24 pjals--- via Guix-patches via New
[bug#64249,7/9] gnu: Add ocaml-ppx-import. [bug#64249,1/9] gnu: why3: Update to 1.6.0. - - - --- 2023-12-24 pjals--- via Guix-patches via New
[bug#64249,6/9] gnu: Add ocaml-ppx-deriving-yaml. [bug#64249,1/9] gnu: why3: Update to 1.6.0. - - - --- 2023-12-24 pjals--- via Guix-patches via New
[bug#64249,5/9] gnu: Add ocaml-yaml [bug#64249,1/9] gnu: why3: Update to 1.6.0. - - - --- 2023-12-24 pjals--- via Guix-patches via New
[bug#64249,4/9] gnu: Add ocaml-junit-alcotest [bug#64249,1/9] gnu: why3: Update to 1.6.0. - - - --- 2023-12-24 pjals--- via Guix-patches via New
[bug#64249,3/9] gnu: Add ocaml-junit [bug#64249,1/9] gnu: why3: Update to 1.6.0. - - - --- 2023-12-24 pjals--- via Guix-patches via New
[bug#64249,2/9] gnu: Add ocaml-ppx-deriving-yojson. [bug#64249,1/9] gnu: why3: Update to 1.6.0. - - - --- 2023-12-24 pjals--- via Guix-patches via New
[bug#64249,1/9] gnu: why3: Update to 1.6.0. [bug#64249,1/9] gnu: why3: Update to 1.6.0. - - - --- 2023-12-24 pjals--- via Guix-patches via New