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: Sun, 27 May 2018 04:39:06 +0000
Message-id: <[🔎] E1fMnSU-000547-3z@respighi.debian.org>

why3 0.88.3-2 is marked for autoremoval from testing on 2018-07-02

It is affected by these RC bugs:
899084: why3: FTBFS: File `ifetex.sty' not found.  Emergency stop.

Reply to:

Prev by Date: Processed: Bug #900118 in opam marked as pending
Next by Date: why is marked for autoremoval from testing
Previous by thread: Processed: Bug #900118 in opam marked as pending
Next by thread: why is marked for autoremoval from testing
Index(es):
- Date
- Thread