matita 0.99.3-1 is marked for autoremoval from testing on 2018-11-12 It (build-)depends on packages with these RC bugs: 885677: liblablgtksourceview2-ocaml: Depends on unmaintained gtksourceview2
matita is marked for autoremoval from testing
Debian testing autoremoval watch Sat, 13 Oct 2018 22:04:41 -0700
- matita is marked for autoremoval from tes... Debian testing autoremoval watch
- matita is marked for autoremoval fro... Debian testing autoremoval watch
- matita is marked for autoremoval fro... Debian testing autoremoval watch
