Processed: Bug#973721 marked as pending in ssreflect

To: Stéphane Glondu <noreply@salsa.debian.org>
Cc: debian-ocaml-maint@lists.debian.org
Subject: Processed: Bug#973721 marked as pending in ssreflect
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Wed, 04 Nov 2020 06:33:07 +0000
Message-id: <[🔎] handler.s.U973721.160447149423692.transcript@bugs.debian.org>
References: <5fa24ac2a8e0b_23182b1c8d18a108772b1@godard.mail> <[🔎] 20201103215346.GA1946973@ramacher.at>

Processing control commands:

> tag -1 pending
Bug #973721 [libssreflect-coq] libssreflect-coq: Depends: coq-8.12.0+4.08.1 but it is not installable
Added tag(s) pending.

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

Reply to:

References:
- Bug#973721: libssreflect-coq: Depends: coq-8.12.0+4.08.1 but it is not installable
  - From: Sebastian Ramacher <sramacher@debian.org>

Prev by Date: Bug#973721: libssreflect-coq: Depends: coq-8.12.0+4.08.1 but it is not installable
Next by Date: Bug#973721: libssreflect-coq: Depends: coq-8.12.0+4.08.1 but it is not installable
Previous by thread: Bug#973721: libssreflect-coq: Depends: coq-8.12.0+4.08.1 but it is not installable
Next by thread: Bug#973721: libssreflect-coq: Depends: coq-8.12.0+4.08.1 but it is not installable
Index(es):
- Date
- Thread