Le 09/12/2013 04:42, ygrek a écrit : > FTR, here is the patch used in OPAM : > https://github.com/ocaml/opam-repository/blob/master/packages/reins/reins.0.1a/files/fix_build.patch Thanks for the pointer. I'll import the relevant parts to Debian. Cheers, -- Stéphane