Thanks for your replies (which I discover only now; I forgot to subscribe or to request Cc:)! For people interested in the issue, gtksourceview in Debian already has OCaml syntax highlighting (by Eric Cooper), gtksourceview's upstream bug is http://bugzilla.gnome.org/show_bug.cgi?id=338344 and the upstream bug against freedesktop's MIME database is at https://bugs.freedesktop.org/show_bug.cgi?id=7836. -- Loïc Minier <lool@dooz.org>