Package: dh-ocaml Version: 1.1.3 Severity: wishlist While trying to package coq-elpi, dh_ocaml found it exported units already exported by other packages ; so far so good.
But it reports only the first one, not the whole list, so I would like Cheers, J.Puydt PS: example of error message: E: Error: unit Result exported in libcoq-elpi-ocaml-dev/libcoq-elpi- ocaml v1.11.2-1 but already exported by libresult-ocaml-dev/libresult- ocaml v1.5-1+b1