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

  • Processed: Re: Bug#1050027: Stop blocking other packages migration

    From Debian Bug Tracking System@21:1/5 to All on Wed Aug 23 11:10:04 2023
    Processing control commands:

    severity -1 serious
    Bug #1050027 [libcoq-mathcomp-classical] libcoq-mathcomp-classical: undeclared file conflict with libcoq-mathcomp-analysis/bookworm+trixie
    Severity set to 'serious' from 'normal'

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

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