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, 11 Feb 2016 04:39:03 +0000
Message-id: <[🔎] E1aTj1z-0007PH-Lg@franck.debian.org>

coq-doc 8.4pl4-1 is marked for autoremoval from testing on 2016-02-26

It is affected by these RC bugs:
813063: coq-doc: FTBFS in sid: File "kernel/univ.ml", line 229, characters 0-2: Error: This comment contains an unterminated string literal

Reply to:

Prev by Date: coq-float is marked for autoremoval from testing
Next by Date: aac-tactics is marked for autoremoval from testing
Previous by thread: coq-float is marked for autoremoval from testing
Next by thread: aac-tactics is marked for autoremoval from testing
Index(es):
- Date
- Thread