Package: libzarith-ocaml-dev,libzarith-ocaml-doc,libzarith-ocaml
Version: 1.14-3
Severity: serious
User: [email protected]
Usertags: fileconflict

libzarith-ocaml, libzarith-ocaml-dev and libzarith-ocaml-doc have an
undeclared file conflict.  This may result in an unpack error from dpkg.

The files
 * /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/stublibs/dllzarith.so
 * /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/zarith/META
 * /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/zarith/zarith.cma
 * /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/zarith/zarith.cmxs
 * /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/zarith/zarith_top.cma
are contained in the packages
 * libzarith-ocaml
   * 1.14-3 as present in unstable
   * 1.14-1+b5 as present in forky
 * libzarith-ocaml-doc/1.14-3 as present in unstable

The files
 * /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/zarith/big_int_Z.cmi
 * /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/zarith/big_int_Z.cmti
 * /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/zarith/big_int_Z.cmx
 * /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/zarith/big_int_Z.mli
 * /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/zarith/libzarith.a
 * /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/zarith/q.cmi
 * /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/zarith/q.cmti
 * /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/zarith/q.cmx
 * /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/zarith/q.mli
 * /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/zarith/z.cmi
 * /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/zarith/z.cmti
 * /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/zarith/z.cmx
 * /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/zarith/z.mli
 * /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/zarith/zarith.a
 * /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/zarith/zarith.cmxa
 * /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/zarith/zarith.h
 * /usr/lib/x86_64-linux-gnu/ocaml/5.4.1/zarith/zarith_version.cmx
are contained in the packages
 * libzarith-ocaml-dev
   * 1.14-3 as present in unstable
   * 1.14-1+b5 as present in forky
 * libzarith-ocaml-doc/1.14-3 as present in unstable

These packages can be unpacked concurrently, because there is no
relevant Replaces or Conflicts relation.  Attempting to unpack these
packages concurrently results in an unpack error from dpkg, because none
of the packages installs a diversion for the affected files.

Kind regards

Helmut Grohne

Reply via email to