hol-light is marked for autoremoval from testing

To: hol-light@packages.debian.org
Subject: hol-light is marked for autoremoval from testing
From: Debian testing autoremoval watch <noreply@release.debian.org>
Date: Sat, 21 Oct 2017 04:39:03 +0000
Message-id: <[🔎] E1e5lYt-0006Gd-6W@respighi.debian.org>

hol-light 20170109-2 is marked for autoremoval from testing on 2017-10-22

It is affected by these RC bugs:
876533: hol-light: hol-light FTBFS with OCaml 4.05.0

Reply to:

Prev by Date: otags is marked for autoremoval from testing
Next by Date: ocaml-gen is marked for autoremoval from testing
Previous by thread: hol-light is marked for autoremoval from testing
Next by thread: ocaml-gen is marked for autoremoval from testing
Index(es):
- Date
- Thread