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: Fri, 22 Jan 2016 04:39:04 +0000
Message-id: <[🔎] E1aMTV2-0002tC-Fv@franck.debian.org>

hol-light 20131026-1 is marked for autoremoval from testing on 2016-02-20

It (build-)depends on packages with these RC bugs:
802264: camlp5: matita: FTBFS with OCaml 4.02.3

Reply to:

Prev by Date: coq-doc is marked for autoremoval from testing
Next by Date: mathcomp is marked for autoremoval from testing
Previous by thread: coq-doc is marked for autoremoval from testing
Next by thread: mathcomp is marked for autoremoval from testing
Index(es):
- Date
- Thread