It additionally needs libgtksourceview2-2.0-cil from gnome-desktop-sharp2 which can be found at https://bugs.edge.launchpad.net/ubuntu/+source/gnome-desktop-sharp2/+bug/317344
It additionally needs libgtksourcevie w2-2.0- cil from gnome-desktop- sharp2 which can be found at https:/ /bugs.edge. launchpad. net/ubuntu/ +source/ gnome-desktop- sharp2/ +bug/317344