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: Mon, 24 Jul 2017 04:39:09 +0000
Message-id: <[🔎] E1dZV9B-0003Ju-1F@respighi.debian.org>

hol-light 20170109-1 is marked for autoremoval from testing on 2017-08-14

It is affected by these RC bugs:
868606: hol-light: hol-light FTBFS: Error: This expression has type (MLast.loc * string Ploc.vala) Ploc.vala but an expression was expected of type MLast.loc * 'a

Reply to:

Prev by Date: Re: ocaml-sha_1.9-2_amd64.changes REJECTED
Next by Date: ocaml-curses is marked for autoremoval from testing
Previous by thread: ocaml-sha_1.9-2_amd64.changes REJECTED
Next by thread: ocaml-curses is marked for autoremoval from testing
Index(es):
- Date
- Thread