why3ide depends on lablgtk2 with-gtksourceview2
Merge pull request #6 from mbenke/master

why3ide depends on lablgtk2 with-gtksourceview2