Bug#994163: RM: matit -- RoQA; unbuildable since 2018, depends on gtksourceview2

[Jeremy Bicha <jeremy@bicha.net>]

Package: ftp.debian.org
Severity: normal
X-Debbugs-CC: matita@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