Package: ftp.debian.org Severity: normal X-Debbugs-CC: mat...@packages.debian.org Affects: matita Control: block 994162 by -1
matita is now the last thing preventing the removal of gtksourceview2 from Debian. It has been unbuildable in Debian for 2 or 3 years. The latest upstream release was in 2016 (and is the version that was in Debian). References -------------- https://bugs.debian.org/913606 https://buildd.debian.org/status/logs.php?pkg=matita&arch=amd64 http://matita.cs.unibo.it/ Thanks, Jeremy Bicha
