Package: ftp.debian.org Severity: normal X-Debbugs-CC: gtksourcevi...@packages.debian.org Affects: gtksourceview2 Control: block -1 by 994098 Tags: moreinfo
Please remove gtksourceview2 from Debian. See https://bugs.debian.org/911166 for background. I am setting the moreinfo tag since matita still depends on gtksourceview2. Thank you, Jeremy Bicha