aac-tactics is marked for autoremoval from testing

To: aac-tactics@packages.debian.org
Subject: aac-tactics is marked for autoremoval from testing
From: Debian testing autoremoval watch <noreply@release.debian.org>
Date: Fri, 21 Dec 2018 04:39:08 +0000
Message-id: <[🔎] E1gaCaa-0000HP-UO@respighi.debian.org>

aac-tactics 8.6.1-2 is marked for autoremoval from testing on 2019-01-26

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: why3 is marked for autoremoval from testing
Next by Date: ssreflect is marked for autoremoval from testing
Previous by thread: why3 is marked for autoremoval from testing
Next by thread: ssreflect is marked for autoremoval from testing
Index(es):
- Date
- Thread