Você precisa instalar o libgtksourceview2.0-dev ; por exemplo, usando apt :
sudo apt install libgtksourceview2.0-dev
Eu uso o Ubuntu 16.10 e estou tentando instalar o conf-gtksourceview via opam, mas o seguinte erro ocorre:
This package requires gtksourceview 2.0 development packages installed on your system
Como faço para instalá-lo? Obrigado
Você precisa instalar o libgtksourceview2.0-dev ; por exemplo, usando apt :
sudo apt install libgtksourceview2.0-dev