why3 is marked for autoremoval from testing

To: why3@packages.debian.org
Subject: why3 is marked for autoremoval from testing
From: Debian testing autoremoval watch <noreply@release.debian.org>
Date: Tue, 25 Oct 2016 04:39:06 +0000
Message-id: <[🔎] E1bytVy-0006hB-Ql@respighi.debian.org>

why3 0.87.2-2 is marked for autoremoval from testing on 2016-11-23

It (build-)depends on packages with these RC bugs:
837456: ocamlgraph: ocamlgraph needs PIE binNMU

Reply to:

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