This bug is currently blocked by the fact that dh_ocaml reports some exported units that are already exported by other packages (Bz2, Cudf_*). This should be resolved upstream. -Ralf -- Ralf Treinen Laboratoire Preuves, Programmes et Systèmes Université Paris Diderot, Paris, France. http://www.pps.jussieu.fr/~treinen/