matita is marked for autoremoval from testing

[Debian testing autoremoval watch]

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