ocaml/opam-repository — pull request #1232 by c-cube (2013-10-24 13:27:45+00:00)
Title: add conf-gtksourceview to why3's optional dependencies

to build why3ide one needs gtksourceview in addition to lablgtk.
see https://github.com/ocaml/opam-repository/issues/747