why is marked for autoremoval from testing

To: why@packages.debian.org
Subject: why is marked for autoremoval from testing
From: Debian testing autoremoval watch <noreply@release.debian.org>
Date: Wed, 30 Jan 2019 04:39:03 +0000
Message-id: <[🔎] E1goheR-0006Ad-RH@respighi.debian.org>

why 2.40-3 is marked for autoremoval from testing on 2019-02-06

It (build-)depends on packages with these RC bugs:
916369: libcoq-ocaml: libcoq-ocaml depends and build-depends on cruft packages.
918633: why3-coq: package should Depend on a specific Coq version

Reply to:

Prev by Date: aac-tactics is marked for autoremoval from testing
Next by Date: Bug#918770: marked as done (ocaml-migrate-parsetree: build-dep on opam-installer)
Previous by thread: why is marked for autoremoval from testing
Next by thread: ssreflect is marked for autoremoval from testing
Index(es):
- Date
- Thread