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

  • Processed: Bug#1093324 marked as pending in coq-doc

    From Debian Bug Tracking System@21:1/5 to All on Thu Jan 23 15:00:01 2025
    Processing control commands:

    tag -1 pending
    Bug #1093324 [src:coq-doc] coq-doc: FTBFS: No module named 'typing.io'; 'typing' is not a package
    Added tag(s) pending.

    --
    1093324: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1093324
    Debian Bug Tracking System
    Contact [email protected] with problems

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