coq-doc is marked for autoremoval from testing

To: coq-doc@packages.debian.org
Subject: coq-doc is marked for autoremoval from testing
From: Debian testing autoremoval watch <noreply@release.debian.org>
Date: Thu, 07 Nov 2019 04:39:03 +0000
Message-id: <[🔎] E1iSZZX-0000oQ-P4@respighi.debian.org>

coq-doc 8.6-1 is marked for autoremoval from testing on 2019-11-21

It is affected by these RC bugs:
939741: coq-doc: FTBFS with OCaml 4.08.0 (safe strings)

Reply to:

Prev by Date: mldonkey is marked for autoremoval from testing
Next by Date: otags is marked for autoremoval from testing
Previous by thread: mldonkey is marked for autoremoval from testing
Next by thread: otags is marked for autoremoval from testing
Index(es):
- Date
- Thread