1. Forum
  2. Usenet
  3. LINUX.DEBIAN.MAINT.OCAML.

  • Processed: frama-c: please update to v27.1 Cobalt

    From Debian Bug Tracking System@21:1/5 to All on Sat Sep 9 09:00:01 2023
    Processing control commands:

    block -1 by 1001893
    Bug #1051524 [src:frama-c] frama-c: please update to v27.1 Cobalt
    1051524 was not blocked by any bugs.
    1051524 was not blocking any bugs.
    Added blocking bug(s) of 1051524: 1001893

    --
    1051524: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1051524
    Debian Bug Tracking System
    Contact owner@bugs.debian.org with problems

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)