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

  • Processed: Bug#1005254 marked as pending in ssreflect

    From Debian Bug Tracking System@21:1/5 to All on Thu Feb 10 11:30:01 2022
    Processing control commands:

    tag -1 pending
    Bug #1005254 [src:ssreflect] libcoq-mathcomp,libcoq-mathcomp-*: missing Breaks+Replaces: libssreflect-coq (<< 1.14.0-4)
    Added tag(s) pending.

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

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