1. Forum
  2. Usenet
  3. LINUX.DEBIAN.DEVEL.RELEAS

  • Processed: nmu: why3_1.5.1-1+b1 frama-c_20220511-manganese-3-10

    From Debian Bug Tracking System@21:1/5 to All on Fri Apr 21 21:40:01 2023
    Processing control commands:

    affects -1 + src:why3 src:frama-c
    Bug #1034691 [release.debian.org] nmu: why3_1.5.1-1+b1 frama-c_20220511-manganese-3-10
    Added indication that 1034691 affects src:why3 and src:frama-c

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

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