/usr/lib64/ocaml/stublibs/dlllablgtk3_sourceview3_stubs.so libgtksourceview-3.0.so.1,libgtk-3.so.0,libgobject-2.0.so.0,libglib-2.0.so.0,libc.so.6
/usr/lib64/ocaml/lablgtk3-sourceview3/lablgtk3_sourceview3.cmxs libgtksourceview-3.0.so.1,libgtk-3.so.0,libgobject-2.0.so.0,libglib-2.0.so.0,libc.so.6
