Processed: libcoq-mathcomp-classical: undeclared file conflict with libcoq-mathcomp-analysis/bookworm+trixie

To: Helmut Grohne <helmut@subdivi.de>
Cc: debian-ocaml-maint@lists.debian.org
Subject: Processed: libcoq-mathcomp-classical: undeclared file conflict with libcoq-mathcomp-analysis/bookworm+trixie
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Fri, 18 Aug 2023 13:21:04 +0000
Message-id: <[🔎] handler.s.B.1692364630137635.transcript@bugs.debian.org>
References: <[🔎] 20230818131649.GA1154392@subdivi.de> <[🔎] 20230818131649.GA1154392@subdivi.de>

Processing control commands:

> affects -1 + libcoq-mathcomp-analysis
Bug #1050027 [libcoq-mathcomp-classical] libcoq-mathcomp-classical: undeclared file conflict with libcoq-mathcomp-analysis/bookworm+trixie
Added indication that 1050027 affects libcoq-mathcomp-analysis

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

Reply to:

References:
- Bug#1050027: libcoq-mathcomp-classical: undeclared file conflict with libcoq-mathcomp-analysis/bookworm+trixie
  - From: Helmut Grohne <helmut@subdivi.de>

Prev by Date: Bug#1050027: libcoq-mathcomp-classical: undeclared file conflict with libcoq-mathcomp-analysis/bookworm+trixie
Next by Date: [Git][ocaml-team/dh-ocaml] Pushed new tag archive/debian/1.3.0
Previous by thread: Bug#1050027: libcoq-mathcomp-classical: undeclared file conflict with libcoq-mathcomp-analysis/bookworm+trixie
Next by thread: Bug#1050027: marked as done (libcoq-mathcomp-classical: undeclared file conflict with libcoq-mathcomp-analysis/bookworm+trixie)
Index(es):
- Date
- Thread