#1000954 Detect all clashing exported units at once

Package:
dh-ocaml
Source:
dh-ocaml
Submitter:
Julien Puydt
Date:
2021-12-01 10:48:04 UTC
Severity:
wishlist
#1000954#5
Date:
2021-12-01 10:44:33 UTC
From:
To:
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