Bug#1003797: libssreflect-coq: Depends: coq-8.14.0+4.11.1 but it is not installable

To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: Bug#1003797: libssreflect-coq: Depends: coq-8.14.0+4.11.1 but it is not installable
From: Adrian Bunk <bunk@debian.org>
Date: Sun, 16 Jan 2022 00:32:44 +0200
Message-id: <[🔎] 164228596492.10413.3465806136101490274.reportbug@localhost>
Reply-to: Adrian Bunk <bunk@debian.org>, 1003797@bugs.debian.org

Package: libssreflect-coq
Version: 1.13.0-1
Severity: serious

The following packages have unmet dependencies:
 libssreflect-coq : Depends: coq-8.14.0+4.11.1 but it is not installable

libssreflect-coq is binary-all, therefore requires a source upload.

Reply to:

Follow-Ups:
- Processed: Bug#1003797 marked as pending in ssreflect
  - From: "Debian Bug Tracking System" <owner@bugs.debian.org>
- Bug#1003797: marked as done (libssreflect-coq: Depends: coq-8.14.0+4.11.1 but it is not installable)
  - From: "Debian Bug Tracking System" <owner@bugs.debian.org>

Prev by Date: ocaml-cohttp_4.0.0-1_amd64.changes is NEW
Next by Date: Bug#1003801: why3 FTBFS: Error: File graph.cmo not found
Previous by thread: ocaml-cohttp_4.0.0-1_amd64.changes is NEW
Next by thread: Processed: Bug#1003797 marked as pending in ssreflect
Index(es):
- Date
- Thread