Package: libcoq-mathcomp-classical Version: 0.6.4-1+b1 Severity: serious User: debian...@lists.debian.org Usertags: fileconflict Control: affects -1 + libcoq-mathcomp-analysis
libcoq-mathcomp-classical starts to ship the following files: /usr/lib/ocaml/coq/user-contrib/mathcomp/classical/boolp.glob /usr/lib/ocaml/coq/user-contrib/mathcomp/classical/boolp.v /usr/lib/ocaml/coq/user-contrib/mathcomp/classical/boolp.vo /usr/lib/ocaml/coq/user-contrib/mathcomp/classical/cardinality.glob /usr/lib/ocaml/coq/user-contrib/mathcomp/classical/cardinality.v /usr/lib/ocaml/coq/user-contrib/mathcomp/classical/cardinality.vo /usr/lib/ocaml/coq/user-contrib/mathcomp/classical/classical_sets.glob /usr/lib/ocaml/coq/user-contrib/mathcomp/classical/classical_sets.v /usr/lib/ocaml/coq/user-contrib/mathcomp/classical/classical_sets.vo /usr/lib/ocaml/coq/user-contrib/mathcomp/classical/fsbigop.glob /usr/lib/ocaml/coq/user-contrib/mathcomp/classical/fsbigop.v /usr/lib/ocaml/coq/user-contrib/mathcomp/classical/fsbigop.vo /usr/lib/ocaml/coq/user-contrib/mathcomp/classical/functions.glob /usr/lib/ocaml/coq/user-contrib/mathcomp/classical/functions.v /usr/lib/ocaml/coq/user-contrib/mathcomp/classical/functions.vo /usr/lib/ocaml/coq/user-contrib/mathcomp/classical/mathcomp_extra.glob /usr/lib/ocaml/coq/user-contrib/mathcomp/classical/mathcomp_extra.v /usr/lib/ocaml/coq/user-contrib/mathcomp/classical/mathcomp_extra.vo /usr/lib/ocaml/coq/user-contrib/mathcomp/classical/set_interval.glob /usr/lib/ocaml/coq/user-contrib/mathcomp/classical/set_interval.v /usr/lib/ocaml/coq/user-contrib/mathcomp/classical/set_interval.vo They happen to also be part of libcoq-mathcomp-analysis as part of bookworm and trixie. There is no Conflicts nor Replaces relation addressing this conflict nor are there any diversions. As such, this situation can result in unpack errors in an upgrade scenario. Judging from the changelog (saying "package split") you mean to restructure and therefore replace these files. If you agree, please add the necessary Breaks+Replaces relations. Helmut
