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 debian-ocaml-maint-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/e1znzqv-0004i0...@franck.debian.org