frama-c is marked for autoremoval from testing

To: frama-c@packages.debian.org
Subject: frama-c 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-0001Wf-M7@respighi.debian.org>

frama-c 20161101+silicon+dfsg-4 is marked for autoremoval from testing on 2017-02-25

It is affected by 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: cppo updated
Next by Date: Bug#643243: marked as done (perl4caml: FTBFS: dpkg-buildpackage: error: dpkg-source -b perl4caml-0.9.5 gave error exit status 2)
Previous by thread: cppo updated
Next by thread: Bug#643243: marked as done (perl4caml: FTBFS: dpkg-buildpackage: error: dpkg-source -b perl4caml-0.9.5 gave error exit status 2)
Index(es):
- Date
- Thread