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: Wed, 30 Jan 2019 04:39:05 +0000
Message-id: <[🔎] E1goheT-0006As-Hi@respighi.debian.org>

ssreflect 1.6.1-3 is marked for autoremoval from testing on 2019-02-06

It is affected by these RC bugs:
919461: ssreflect: ssreflect FTBFS in unstable due to missing ssrmatching

It (build-)depends on packages with these RC bugs:
916369: libcoq-ocaml: libcoq-ocaml depends and build-depends on cruft packages.

Reply to:

Prev by Date: [Git][ocaml-team/dose3] Pushed new tag debian/5.0.1-12
Next by Date: coq is marked for autoremoval from testing
Previous by thread: ssreflect is marked for autoremoval from testing
Next by thread: Processed: tag
Index(es):
- Date
- Thread