alt-ergo is marked for autoremoval from testing

To: alt-ergo@packages.debian.org
Subject: alt-ergo is marked for autoremoval from testing
From: Debian testing autoremoval watch <noreply@release.debian.org>
Date: Mon, 27 Nov 2017 04:39:48 +0000
Message-id: <[🔎] E1eJBCu-0005ig-Dh@respighi.debian.org>

alt-ergo 1.30-1 is marked for autoremoval from testing on 2017-12-18

It is affected by these RC bugs:
882162: alt-ergo: alt-ergo FTBFS: Error: This expression has type Sim.Core.t * bool but an expression was expected of type Sim.Core.t

Reply to:

Prev by Date: prooftree is marked for autoremoval from testing
Next by Date: Bug#882786: marked as done (FTBFS against ffcall 2.0: can't find callback library)
Previous by thread: Processed: tagging 882786
Next by thread: Processing of mlpcap_0.9-17.1_source.changes
Index(es):
- Date
- Thread