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
-- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/[email protected]
