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, 07 Aug 2015 04:39:05 +0000
Message-id: <[🔎] E1ZNZQv-0004i0-CF@franck.debian.org>

matita 0.99.1-3 is marked for autoremoval from testing on 2015-09-06

It (build-)depends on packages with these RC bugs:
791052: gmetadom: library transition may be needed when GCC 5 is the default

Reply to:

Prev by Date: Bug#791052: gmetadom: library transition may be needed when GCC 5 is the default
Next by Date: gmetadom is marked for autoremoval from testing
Previous by thread: Processed: Re: Bug#791052: gmetadom: library transition may be needed when GCC 5 is the default
Next by thread: gmetadom is marked for autoremoval from testing
Index(es):
- Date
- Thread