On Tue, Sep 23, 2014 at 10:17:21PM +0200, Hilko Bengen wrote: > * Stéphane Glondu: > > Thank you for your work. Could you update the git repositories on > > Alioth, please? > > I certainly would if I had the permissions to do so. That should be easy to obtain. You just have to ask for inclusion to pkg-ocaml-maint on the alioth web interface. -Ralf.