On Wed, Sep 04, 2013 at 07:48:53AM +0200, Stéphane Glondu wrote: > I will have a look. Meanwhile, you can join the OCaml Task Force on > Alioth, and update the ocaml-cil package there (feel free to overwrite > it, actually). I've just done that, thanks. (The default branch is debian rather than master because it's more convenient in my workflow, but I can change it if it's too annoying for other maintainers.) -- Gabriel