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: Mon, 19 Oct 2015 04:39:08 +0000
Message-id: <[🔎] E1Zo2E0-0000Na-2p@franck.debian.org>

matita 0.99.1-3 is marked for autoremoval from testing on 2015-11-24

It (build-)depends on packages with these RC bugs:
801550: ocamlnet: FTBFS -- unterminated string literal

Reply to:

Prev by Date: ocamldap is marked for autoremoval from testing
Next by Date: pxp is marked for autoremoval from testing
Previous by thread: ocamldap is marked for autoremoval from testing
Next by thread: pxp is marked for autoremoval from testing
Index(es):
- Date
- Thread