Bug#1010655: libcoq-mathcomp-bigenough: Depends: coq- but it is not installable

To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: Bug#1010655: libcoq-mathcomp-bigenough: Depends: coq- but it is not installable
From: Adrian Bunk <bunk@debian.org>
Date: Fri, 06 May 2022 11:26:44 +0300
Message-id: <[🔎] 165182560448.3122.7537759338264091700.reportbug@localhost>
Reply-to: Adrian Bunk <bunk@debian.org>, 1010655@bugs.debian.org

Package: libcoq-mathcomp-bigenough
Version: 1.0.1-3
Severity: serious

The following packages have unmet dependencies:
 libcoq-mathcomp-bigenough : Depends: coq- but it is not installable

Reply to:

Follow-Ups:
- Bug#1010655: marked as done (libcoq-mathcomp-bigenough: Depends: coq- but it is not installable)
  - From: "Debian Bug Tracking System" <owner@bugs.debian.org>

Prev by Date: Bug#1010656: libcoq-mathcomp-finmap: Depends: coq- but it is not installable
Next by Date: Processing of mathcomp-bigenough_1.0.1-4_source.changes
Previous by thread: Bug#1010656: marked as done (libcoq-mathcomp-finmap: Depends: coq- but it is not installable)
Next by thread: Bug#1010655: marked as done (libcoq-mathcomp-bigenough: Depends: coq- but it is not installable)
Index(es):
- Date
- Thread