Hi, I'm trying to package coq-elpi (after I packaged elpi [in NEW], and before I can package hierarchy-builder), but dh_ocaml gives me an error and I don't get it: E: Error: unit Extfun exported in libcoq-elpi-ocaml-dev/libcoq-elpi- ocaml v1.11.2-1 but already exported by camlp5 v7.14-1 But there's no mention of Extfun in the sources... so I don't know where that comes from! How does one handle that? Cheers, J.Puydt