Package: proofgeneral-doc
Version: 4.2~pre120112-1
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite

Architecture: amd64
Distribution: squeeze->wheezy (partial) upgrade

Hi,

automatic installation tests of packages that share a file and at the
same time do not conflict by their package dependency relationships has
detected the following problem:

  Selecting previously deselected package proofgeneral.
  Unpacking proofgeneral (from .../proofgeneral_3.7-4_all.deb) ...
  Processing triggers for install-info ...

  Setting up proofgeneral (3.7-4) ...
  Installing proofgeneral startup files for Emacs

  Selecting previously deselected package proofgeneral-doc.
  Unpacking proofgeneral-doc (from 
.../proofgeneral-doc_4.2~pre120605-1_all.deb) ...
  dpkg: error processing 
/var/cache/apt/archives/proofgeneral-doc_4.2~pre120605-1_all.deb (--unpack):
   trying to overwrite '/usr/share/info/proofgeneral.info.gz', which is also in 
package proofgeneral 3.7-4


This is a serious bug as it makes installation/upgrade fail, and
violates sections 7.6.1 and 10.1 of the policy.

As this problem can be demonstrated during partial upgrades from squeeze
to wheezy (but not within squeeze or wheezy itself), this indicates a
missing or insufficiently versioned Replaces+Breaks relationship.
But since this particular upgrade ordering is not forbidden by any
dependency relationship, it is possible that apt (or $PACKAGE_MANAGER)
will use this erroneus path on squeeze->wheezy upgrades.

Here is a list of files that are known to be shared by both packages
(according to the Contents files for squeeze and wheezy on amd64, which
may be slightly out of sync):

  usr/share/info/proofgeneral.info.gz


This file was moved to -doc with the new packaging:

  proofgeneral (4.2~pre120112-1) unstable; urgency=low
   * restart packaging from scratch (Closes: #626589)
     - only two binary packages: proofgeneral and proofgeneral-doc


The following relationships are currently defined:

  Package:   proofgeneral-doc
  Conflicts: n/a
  Breaks:    n/a
  Replaces:  n/a

The following relationships should be added for a clean takeover of
these files
(http://www.debian.org/doc/debian-policy/ch-relationships.html#s-replaces):

  Package:  proofgeneral-doc
  Breaks:   proofgeneral (<< 4)
  Replaces: proofgeneral (<< 4)


Cheers,

Andreas

PS: for more information about the detection of file overwrite errors
of this kind see http://edos.debian.net/file-overwrites/.

Attachment: proofgeneral=3.7-4_proofgeneral-doc=4.2~pre120605-1.log.gz
Description: GNU Zip compressed data

Reply via email to