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: Thu, 21 Feb 2019 04:39:04 +0000
Message-id: <[🔎] E1gwg8W-0006hn-RJ@respighi.debian.org>

why3 1.1.1-1 is marked for autoremoval from testing on 2019-03-07

It is affected by these RC bugs:
918633: why3-coq: package should Depend on a specific Coq version

It (build-)depends on packages with these RC bugs:
916369: libcoq-ocaml: libcoq-ocaml depends and build-depends on cruft packages.

Reply to:

Prev by Date: Processed (with 1 error): Updating submitter address
Next by Date: why is blocking Coq 8.9 from entering testing
Previous by thread: why3 is marked for autoremoval from testing
Next by thread: Processed: Bug #918345 in opam marked as pending
Index(es):
- Date
- Thread