Your message dated Thu, 06 Dec 2012 12:11:15 +0000 with message-id <e1tgain-0007p9...@franck.debian.org> and subject line Bug#694285: fixed in proofgeneral 4.2~pre120605-2 has caused the Debian Bug report #694285, regarding proofgeneral-doc: missing Breaks+Replaces: proofgeneral (<< 4) to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 694285: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=694285 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---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/.
proofgeneral=3.7-4_proofgeneral-doc=4.2~pre120605-1.log.gz
Description: GNU Zip compressed data
--- End Message ---
--- Begin Message ---Source: proofgeneral Source-Version: 4.2~pre120605-2 We believe that the bug you reported is fixed in the latest version of proofgeneral, which is due to be installed in the Debian FTP archive. A summary of the changes between this version and the previous one is attached. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to 694...@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Hendrik Tews <hend...@askra.de> (supplier of updated proofgeneral package) (This message was generated automatically at their request; if you believe that there is a problem with it please contact the archive administrators by mailing ftpmas...@debian.org) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 04 Dec 2012 14:50:27 +0100 Source: proofgeneral Binary: proofgeneral proofgeneral-doc Architecture: source all Version: 4.2~pre120605-2 Distribution: unstable Urgency: low Maintainer: Hendrik Tews <hend...@askra.de> Changed-By: Hendrik Tews <hend...@askra.de> Description: proofgeneral - generic frontend for proof assistants proofgeneral-doc - generic frontend for proof assistants - documentation Closes: 694285 Changes: proofgeneral (4.2~pre120605-2) unstable; urgency=low . * add Breaks and Replaces dependencies for proofgeneral-doc (Closes: #694285) * delete wrong info in README.Debian Checksums-Sha1: 68f674074d6b05c7e5074420a1d1e807a84f0b13 1962 proofgeneral_4.2~pre120605-2.dsc 1cfdca77f29e2520d66ded6d453a4c613d496830 19826 proofgeneral_4.2~pre120605-2.debian.tar.gz 03f51cd1bcae83ee6ad5a65a6613c780180cd8da 432172 proofgeneral_4.2~pre120605-2_all.deb 314ceab4635b9db1f081f24962d8edb8110c2f5d 671274 proofgeneral-doc_4.2~pre120605-2_all.deb Checksums-Sha256: 1904543a6a7e6f42fe02760e8faa420b83770fb8cb4b629da73723effa50c84e 1962 proofgeneral_4.2~pre120605-2.dsc b79a0779352575a028f0304c16a3ea3cc9a1b2567b3c9f44b5f7331d229dce42 19826 proofgeneral_4.2~pre120605-2.debian.tar.gz c89d049c382e09cce47a9b1c8e8cfd73f23f66e5b5c4982b2c090f4ae118fc95 432172 proofgeneral_4.2~pre120605-2_all.deb 986a6b3cc36b6e1b09f7432386a57ba8ce466d43fd534ba789ec354bd4a5f128 671274 proofgeneral-doc_4.2~pre120605-2_all.deb Files: cc8da877a0224ea53c6df50ae20ce0c8 1962 editors optional proofgeneral_4.2~pre120605-2.dsc 832397e59bdde78ba9e6695f47e65f19 19826 editors optional proofgeneral_4.2~pre120605-2.debian.tar.gz e4c4d3de8c5c61736d727b54889acd4f 432172 editors optional proofgeneral_4.2~pre120605-2_all.deb 0be5c68bb364b774ceaf9da52f91dd4a 671274 doc optional proofgeneral-doc_4.2~pre120605-2_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJQvx3wAAoJEHhT2k1JiBrTyFwP/j3a1E1/llVUrIj8QZvehehs HXv7dJpVG/8Kk1+0G3sCaTuKHoqlfJG7qSqJ60cQDgSKRTv3NxssB9c9pkMDj4sn tMdROVg2816/1bK3yqEwaDzI2bk8K40q97pgiiQk/l5cDFLvf8uBrp6UWrA02lvb ljUJVHNlYhVXMWNwCRL3Bj2eqJNhXD99da3AHeYP2tFWHcYZKTXITVawtYDvl+QY bu4PWRXJVz1K8MEcNEwXjKwg3jVmyZzQWLTYTcgGtcpsAS3A1bo8b/4Kyuu+UkMj bGJYUqcpkqnWGD3WrYbbAlTCxIRDUkEVghfqSum0akyxqQmOd/9AnLZLezL1rRMW E0lUx+uftavoi3ES9ACjUc0kcUUFPrjMsHS1D7EniRXjTT44eCuUkMxSw6Wbnjgd 2OlgHuAOwBBRGcSOh5RwxWlkLCIoE6y9AkJ94dbf+5XUNX2hDN3Np4e0D7+y2U5B 19QsEh5947OSKQwjR5mu6uK7pmLQEXHfo5K9fz6xAva4Ow/mSxcZjVl7J7eU9Skw llWehA7OA/aBqhhulNDsOFgtAO79qKSsBc/xk5fTojFVTsUClXpMGBcaqYASbNKU 1cr7rCJhkKpn0S8O9tMOf4o3YVVfw6xgVPTNyQsZPgteLGTgOeZCDdFNNHpJXcLZ PSPN2dNpwmZ5GXH7weFI =XrCi -----END PGP SIGNATURE-----
--- End Message ---
