coq-float is marked for autoremoval from testing

To: coq-float@packages.debian.org
Subject: coq-float is marked for autoremoval from testing
From: Debian testing autoremoval watch <noreply@release.debian.org>
Date: Thu, 11 Feb 2016 04:39:04 +0000
Message-id: <[🔎] E1aTj20-0007Pv-BU@franck.debian.org>

coq-float 1:8.4-5 is marked for autoremoval from testing on 2016-03-18

It is affected by these RC bugs:
813596: coq-float: FTBFS: make[2]: *** No rule to make target 'depend'.  Stop.

Reply to:

Prev by Date: ocaml-re2_113.00.00+dfsg-2_source.changes ACCEPTED into unstable
Next by Date: coq-doc is marked for autoremoval from testing
Previous by thread: ocaml-re2_113.00.00+dfsg-2_source.changes ACCEPTED into unstable
Next by thread: coq-doc is marked for autoremoval from testing
Index(es):
- Date
- Thread