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

  • Processed: Re: frama-c: autopkgtest failure: nothing logged

    From Debian Bug Tracking System@21:1/5 to All on Thu Feb 11 23:20:02 2021
    Processing control commands:

    tags -1 patch
    Bug #982148 [src:frama-c] frama-c: autopkgtest failure: nothing logged
    Added tag(s) patch.

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

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