creduce is marked for autoremoval from testing

To: creduce@packages.debian.org
Subject: creduce is marked for autoremoval from testing
From: Debian testing autoremoval watch <noreply@release.debian.org>
Date: Fri, 20 Jan 2017 04:39:30 +0000
Message-id: <[🔎] E1cUQz4-0001Wa-H0@respighi.debian.org>

creduce 2.6~20160921-1 is marked for autoremoval from testing on 2017-02-25

It (build-)depends on packages with these RC bugs:
851104: frama-c: fails to upgrade from 'jessie' - trying to overwrite /usr/lib/frama-c/analyses_manager.cmi

Reply to:

Prev by Date: gcc-defaults_1.165_all.changes ACCEPTED into unstable
Next by Date: Bug#850191: marked as done (Can not cross compile to arm from x86)
Previous by thread: gcc-defaults_1.165_all.changes ACCEPTED into unstable
Next by thread: Processing of gcc-defaults-ports_1.161_source.changes
Index(es):
- Date
- Thread