ssreflect is marked for autoremoval from testing

To: ssreflect@packages.debian.org
Subject: ssreflect is marked for autoremoval from testing
From: Debian testing autoremoval watch <noreply@release.debian.org>
Date: Sat, 13 Feb 2016 04:39:10 +0000
Message-id: <[🔎] E1aURzC-00019w-AL@franck.debian.org>

ssreflect 1.5-3 is marked for autoremoval from testing on 2016-03-20

It is affected by these RC bugs:
813820: ssreflect: FTBFS: Error: Unbound type constructor glob_constr_and_expr

Reply to:

Prev by Date: mathcomp is marked for autoremoval from testing
Next by Date: Processing of lambda-term_1.9-3_source.changes
Previous by thread: mathcomp is marked for autoremoval from testing
Next by thread: Processing of lambda-term_1.9-3_source.changes
Index(es):
- Date
- Thread