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

To: Julien Puydt <noreply@salsa.debian.org>
Cc: debian-ocaml-maint@lists.debian.org
Subject: Processed: Bug#1093324 marked as pending in coq-doc
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Thu, 23 Jan 2025 13:54:02 +0000
Message-id: <[🔎] handler.s.U1093324.17376402821241586.transcript@bugs.debian.org>
References: <67924955ac481_3d0104036231@godard.mail> <[🔎] E1tYrSp-00Dl4h-GV@paradis.debian.org>

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 owner@bugs.debian.org with problems

Reply to:

References:
- Bug#1093324: coq-doc: FTBFS: No module named 'typing.io'; 'typing' is not a package
  - From: Santiago Vila <sanvila@debian.org>

Prev by Date: Processed: why3 has an undeclared file conflict on /usr/lib/ocaml/why3
Next by Date: Bug#1092985: OCaml 5.3.0
Previous by thread: Bug#1093324: coq-doc: FTBFS: No module named 'typing.io'; 'typing' is not a package
Next by thread: Bug#1093324: marked as done (coq-doc: FTBFS: No module named 'typing.io'; 'typing' is not a package)
Index(es):
- Date
- Thread