matita is marked for autoremoval from testing

To: matita@packages.debian.org
Subject: matita is marked for autoremoval from testing
From: Debian testing autoremoval watch <noreply@release.debian.org>
Date: Fri, 26 Jan 2018 04:39:19 +0000
Message-id: <[🔎] E1eevnL-0007pm-9m@respighi.debian.org>

matita 0.99.3-1 is marked for autoremoval from testing on 2018-03-03

It (build-)depends on packages with these RC bugs:
887577: ocamlnet: ocamlnet FTBFS with nettle 3.4-1

Reply to:

Prev by Date: ocamlrss is marked for autoremoval from testing
Next by Date: nss-passwords is marked for autoremoval from testing
Previous by thread: ocamlrss is marked for autoremoval from testing
Next by thread: nss-passwords is marked for autoremoval from testing
Index(es):
- Date
- Thread