[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1000954: Detect all clashing exported units at once



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


Reply to: