Processed: Bug#1003797 marked as pending in ssreflect

To: Julien Puydt <noreply@salsa.debian.org>
Cc: debian-ocaml-maint@lists.debian.org
Subject: Processed: Bug#1003797 marked as pending in ssreflect
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Mon, 17 Jan 2022 08:03:04 +0000
Message-id: <[🔎] handler.s.U1003797.164240646111562.transcript@bugs.debian.org>
References: <61e5223b84574_3e82b272aefce88120093@godard.mail> <[🔎] 164228596492.10413.3465806136101490274.reportbug@localhost>

Processing control commands:

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

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

Reply to:

References:
- Bug#1003797: libssreflect-coq: Depends: coq-8.14.0+4.11.1 but it is not installable
  - From: Adrian Bunk <bunk@debian.org>

Prev by Date: Bug#1003801: why3 FTBFS: Error: File graph.cmo not found
Next by Date: [Git][ocaml-team/coq][master] 2 commits: Make the ocaml libs available in /usr/lib/ocaml
Previous by thread: Bug#1003797: libssreflect-coq: Depends: coq-8.14.0+4.11.1 but it is not installable
Next by thread: Bug#1003797: marked as done (libssreflect-coq: Depends: coq-8.14.0+4.11.1 but it is not installable)
Index(es):
- Date
- Thread