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: Tue, 15 Aug 2017 04:39:11 +0000
Message-id: <[🔎] E1dhTdH-0007dW-1S@respighi.debian.org>

matita 0.99.3-1 is marked for autoremoval from testing on 2017-09-20

It (build-)depends on packages with these RC bugs:
871277: libgdome2-cpp-smart0v5: requires rebuild against GCC 7 and symbols/shlibs bump

Reply to:

Prev by Date: Re: [Pkg-ocaml-maint-commits] [cmdliner] 03/03: update packaging using the upstream Makefile
Next by Date: gmetadom is marked for autoremoval from testing
Previous by thread: Processed: Re: Bug#871990: ocaml-interp: convert the menu file to a desktop file
Next by thread: gmetadom is marked for autoremoval from testing
Index(es):
- Date
- Thread