Your message dated Wed, 12 Nov 2014 04:19:46 +0000
with message-id <e1xoppg-0001vi...@franck.debian.org>
and subject line Bug#766273: fixed in undertaker 1.6-2
has caused the Debian Bug report #766273,
regarding picosat and undertaker: error when trying to install together
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.)


-- 
766273: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=766273
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: undertaker,picosat
Version: undertaker/1.6-1
Version: picosat/959-1
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite

Date: 2014-10-21
Architecture: amd64
Distribution: sid

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:



Extracting templates from packages: 68%
Extracting templates from packages: 100%
Selecting previously unselected package gcc-4.9-base:amd64.
(Reading database ... 10886 files and directories currently installed.)
Preparing to unpack .../gcc-4.9-base_4.9.1-18_amd64.deb ...
Unpacking gcc-4.9-base:amd64 (4.9.1-18) ...
Setting up gcc-4.9-base:amd64 (4.9.1-18) ...
(Reading database ... 10893 files and directories currently installed.)
Preparing to unpack .../libstdc++6_4.9.1-18_amd64.deb ...
Unpacking libstdc++6:amd64 (4.9.1-18) over (4.8.2-19) ...
Setting up libstdc++6:amd64 (4.9.1-18) ...
Processing triggers for libc-bin (2.19-11) ...
Selecting previously unselected package libdb5.3:amd64.
(Reading database ... 10906 files and directories currently installed.)
Preparing to unpack .../libdb5.3_5.3.28-6_amd64.deb ...
Unpacking libdb5.3:amd64 (5.3.28-6) ...
Selecting previously unselected package libgcrypt20:amd64.
Preparing to unpack .../libgcrypt20_1.6.2-4_amd64.deb ...
Unpacking libgcrypt20:amd64 (1.6.2-4) ...
Selecting previously unselected package libgmp10:amd64.
Preparing to unpack .../libgmp10_2%3a6.0.0+dfsg-6_amd64.deb ...
Unpacking libgmp10:amd64 (2:6.0.0+dfsg-6) ...
Selecting previously unselected package libnettle4:amd64.
Preparing to unpack .../libnettle4_2.7.1-3_amd64.deb ...
Unpacking libnettle4:amd64 (2.7.1-3) ...
Selecting previously unselected package libhogweed2:amd64.
Preparing to unpack .../libhogweed2_2.7.1-3_amd64.deb ...
Unpacking libhogweed2:amd64 (2.7.1-3) ...
Selecting previously unselected package libffi6:amd64.
Preparing to unpack .../libffi6_3.1-2_amd64.deb ...
Unpacking libffi6:amd64 (3.1-2) ...
Preparing to unpack .../libp11-kit0_0.20.7-1_amd64.deb ...
Unpacking libp11-kit0:amd64 (0.20.7-1) over (0.18.5-3) ...
Selecting previously unselected package libtasn1-6:amd64.
Preparing to unpack .../libtasn1-6_4.2-2_amd64.deb ...
Unpacking libtasn1-6:amd64 (4.2-2) ...
Selecting previously unselected package libgnutls-deb0-28:amd64.
Preparing to unpack .../libgnutls-deb0-28_3.3.8-3_amd64.deb ...
Unpacking libgnutls-deb0-28:amd64 (3.3.8-3) ...
Selecting previously unselected package libkeyutils1:amd64.
Preparing to unpack .../libkeyutils1_1.5.9-5_amd64.deb ...
Unpacking libkeyutils1:amd64 (1.5.9-5) ...
Selecting previously unselected package libkrb5support0:amd64.
Preparing to unpack .../libkrb5support0_1.12.1+dfsg-11_amd64.deb ...
Unpacking libkrb5support0:amd64 (1.12.1+dfsg-11) ...
Selecting previously unselected package libk5crypto3:amd64.
Preparing to unpack .../libk5crypto3_1.12.1+dfsg-11_amd64.deb ...
Unpacking libk5crypto3:amd64 (1.12.1+dfsg-11) ...
Selecting previously unselected package libkrb5-3:amd64.
Preparing to unpack .../libkrb5-3_1.12.1+dfsg-11_amd64.deb ...
Unpacking libkrb5-3:amd64 (1.12.1+dfsg-11) ...
Selecting previously unselected package libgssapi-krb5-2:amd64.
Preparing to unpack .../libgssapi-krb5-2_1.12.1+dfsg-11_amd64.deb ...
Unpacking libgssapi-krb5-2:amd64 (1.12.1+dfsg-11) ...
Selecting previously unselected package libsasl2-modules-db:amd64.
Preparing to unpack .../libsasl2-modules-db_2.1.26.dfsg1-12_amd64.deb ...
Unpacking libsasl2-modules-db:amd64 (2.1.26.dfsg1-12) ...
Selecting previously unselected package libsasl2-2:amd64.
Preparing to unpack .../libsasl2-2_2.1.26.dfsg1-12_amd64.deb ...
Unpacking libsasl2-2:amd64 (2.1.26.dfsg1-12) ...
Selecting previously unselected package libldap-2.4-2:amd64.
Preparing to unpack .../libldap-2.4-2_2.4.40-1_amd64.deb ...
Unpacking libldap-2.4-2:amd64 (2.4.40-1) ...
Selecting previously unselected package libboost-system1.55.0:amd64.
Preparing to unpack .../libboost-system1.55.0_1.55.0+dfsg-3_amd64.deb ...
Unpacking libboost-system1.55.0:amd64 (1.55.0+dfsg-3) ...
Selecting previously unselected package libboost-chrono1.55.0:amd64.
Preparing to unpack .../libboost-chrono1.55.0_1.55.0+dfsg-3_amd64.deb ...
Unpacking libboost-chrono1.55.0:amd64 (1.55.0+dfsg-3) ...
Selecting previously unselected package libboost-date-time1.55.0:amd64.
Preparing to unpack .../libboost-date-time1.55.0_1.55.0+dfsg-3_amd64.deb ...
Unpacking libboost-date-time1.55.0:amd64 (1.55.0+dfsg-3) ...
Selecting previously unselected package libboost-filesystem1.55.0:amd64.
Preparing to unpack .../libboost-filesystem1.55.0_1.55.0+dfsg-3_amd64.deb ...
Unpacking libboost-filesystem1.55.0:amd64 (1.55.0+dfsg-3) ...
Selecting previously unselected package libicu52:amd64.
Preparing to unpack .../libicu52_52.1-6_amd64.deb ...
Unpacking libicu52:amd64 (52.1-6) ...
Selecting previously unselected package libboost-regex1.55.0:amd64.
Preparing to unpack .../libboost-regex1.55.0_1.55.0+dfsg-3_amd64.deb ...
Unpacking libboost-regex1.55.0:amd64 (1.55.0+dfsg-3) ...
Selecting previously unselected package libboost-thread1.55.0:amd64.
Preparing to unpack .../libboost-thread1.55.0_1.55.0+dfsg-3_amd64.deb ...
Unpacking libboost-thread1.55.0:amd64 (1.55.0+dfsg-3) ...
Selecting previously unselected package libboost-wave1.55.0:amd64.
Preparing to unpack .../libboost-wave1.55.0_1.55.0+dfsg-3_amd64.deb ...
Unpacking libboost-wave1.55.0:amd64 (1.55.0+dfsg-3) ...
Selecting previously unselected package librtmp1:amd64.
Preparing to unpack .../librtmp1_2.4+20131018.git79459a2-4_amd64.deb ...
Unpacking librtmp1:amd64 (2.4+20131018.git79459a2-4) ...
Selecting previously unselected package libssh2-1:amd64.
Preparing to unpack .../libssh2-1_1.4.3-4_amd64.deb ...
Unpacking libssh2-1:amd64 (1.4.3-4) ...
Selecting previously unselected package libcurl3-gnutls:amd64.
Preparing to unpack .../libcurl3-gnutls_7.38.0-2_amd64.deb ...
Unpacking libcurl3-gnutls:amd64 (7.38.0-2) ...
Selecting previously unselected package libexpat1:amd64.
Preparing to unpack .../libexpat1_2.1.0-6_amd64.deb ...
Unpacking libexpat1:amd64 (2.1.0-6) ...
Selecting previously unselected package libpython2.7-minimal:amd64.
Preparing to unpack .../libpython2.7-minimal_2.7.8-11_amd64.deb ...
Unpacking libpython2.7-minimal:amd64 (2.7.8-11) ...
Selecting previously unselected package python2.7-minimal.
Preparing to unpack .../python2.7-minimal_2.7.8-11_amd64.deb ...
Unpacking python2.7-minimal (2.7.8-11) ...
Selecting previously unselected package mime-support.
Preparing to unpack .../mime-support_3.57_all.deb ...
Unpacking mime-support (3.57) ...
Selecting previously unselected package libpython2.7-stdlib:amd64.
Preparing to unpack .../libpython2.7-stdlib_2.7.8-11_amd64.deb ...
Unpacking libpython2.7-stdlib:amd64 (2.7.8-11) ...
Selecting previously unselected package python2.7.
Preparing to unpack .../python2.7_2.7.8-11_amd64.deb ...
Unpacking python2.7 (2.7.8-11) ...
Selecting previously unselected package python-minimal.
Preparing to unpack .../python-minimal_2.7.8-1_amd64.deb ...
Unpacking python-minimal (2.7.8-1) ...
Selecting previously unselected package libpython-stdlib:amd64.
Preparing to unpack .../libpython-stdlib_2.7.8-1_amd64.deb ...
Unpacking libpython-stdlib:amd64 (2.7.8-1) ...
Selecting previously unselected package python.
Preparing to unpack .../python_2.7.8-1_amd64.deb ...
Unpacking python (2.7.8-1) ...
Selecting previously unselected package liberror-perl.
Preparing to unpack .../liberror-perl_0.17-1.1_all.deb ...
Unpacking liberror-perl (0.17-1.1) ...
Selecting previously unselected package git-man.
Preparing to unpack .../git-man_1%3a2.1.1-1_all.deb ...
Unpacking git-man (1:2.1.1-1) ...
Selecting previously unselected package git.
Preparing to unpack .../git_1%3a2.1.1-1_amd64.deb ...
Unpacking git (1:2.1.1-1) ...
Selecting previously unselected package undertaker.
Preparing to unpack .../undertaker_1.6-1_amd64.deb ...
Unpacking undertaker (1.6-1) ...
Selecting previously unselected package picosat.
Preparing to unpack .../picosat_959-1_amd64.deb ...
Unpacking picosat (959-1) ...
dpkg: error processing archive /var/cache/apt/archives/picosat_959-1_amd64.deb 
(--unpack):
 trying to overwrite '/usr/bin/picomus', which is also in package undertaker 
1.6-1
Processing triggers for man-db (2.7.0.2-2) ...
Errors were encountered while processing:
 /var/cache/apt/archives/picosat_959-1_amd64.deb
E: Sub-process /usr/bin/dpkg returned an error code (1)


This is a serious bug as it makes installation fail, and violates
sections 7.6.1 and 10.1 of the policy. An optimal solution would
consist in only one of the packages installing that file, and renaming
or removing the file in the other package. Depending on the
circumstances you might also consider Replace relations or file
diversions. If the conflicting situation cannot be resolved then, as a
last resort, the two packages have to declare a mutual
Conflict. Please take into account that Replaces, Conflicts and
diversions should only be used when packages provide different
implementations for the same functionality.

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

  /usr/bin/picomus

This bug has been filed against both packages. If you, the maintainers of
the two packages in question, have agreed on which of the packages will
resolve the problem please reassign the bug to that package. You may then
also register in the BTS that the other package is affected by the bug.

-Ralf.

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

--- End Message ---
--- Begin Message ---
Source: undertaker
Source-Version: 1.6-2

We believe that the bug you reported is fixed in the latest version of
undertaker, 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 766...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Reinhard Tartler <siret...@tauware.de> (supplier of updated undertaker 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...@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Tue, 11 Nov 2014 23:05:38 -0500
Source: undertaker
Binary: undertaker
Architecture: source amd64
Version: 1.6-2
Distribution: unstable
Urgency: medium
Maintainer: Reinhard Tartler <siret...@debian.org>
Changed-By: Reinhard Tartler <siret...@tauware.de>
Description:
 undertaker - variability-aware tool for static code analysis
Closes: 766273
Changes:
 undertaker (1.6-2) unstable; urgency=medium
 .
   * Use system picsoat >= 960 (Closes: #766273)
   * Apply logic bugfix from upstream for undertaker-checkpatch when
     calucating statistics about Kconfig changes.
Checksums-Sha1:
 d1db2ca344916831c8ff8cf381197a85606fb8d3 1989 undertaker_1.6-2.dsc
 d2c696299948f4e33af776cc508d012a7c681eb3 5240 undertaker_1.6-2.debian.tar.xz
 e29cee607ab14eff8be15452024771d50189f638 1095990 undertaker_1.6-2_amd64.deb
Checksums-Sha256:
 922fbdbe190ca79d8404ed02ef06870f6cd8bc8ccca111d0c7ccf76d86b44b88 1989 
undertaker_1.6-2.dsc
 e79862a80a36869caa4198ed1cfd71b7e207184092993868f304f1e6fca41ba8 5240 
undertaker_1.6-2.debian.tar.xz
 78aacbe32f34c49f9738278906d317b21dbbc7fea297617b6817f06c76162c79 1095990 
undertaker_1.6-2_amd64.deb
Files:
 32cbfa02349d4e227cc42f0c4a3f5dd2 1989 devel optional undertaker_1.6-2.dsc
 be597bc074132798f43c111b40dca359 5240 devel optional 
undertaker_1.6-2.debian.tar.xz
 d2e515e850e83024892f919d35e005a8 1095990 devel optional 
undertaker_1.6-2_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQGcBAEBAgAGBQJUYt5UAAoJEIuAbIZKeKRFxB0L/RaBXSNSqGN3ozD0p9CN/mlk
C72i12x1O03cwAqiAVU1eHKcc3mMgmxYPPEjYHgPRMqVs+JvniaRYMQgRtDzc8pY
8AGiaqUbTLUABk1upZ8Qh4xm0io+JW5vf09OWpAgxJuMzoPSvW8Bh91o6Kp+Gfff
MUQ+vPsSZ8zwIIhgwsuhpW7rQCir7h1pG/DdhtEfHHRfGuC38AUKiH0Zdv5HYt9z
gt0DKx8PZ+iRFcT6t8sJvQLIO7/nGG8eJVojJv2KzXo6iKLU1ayVdeLe89XWgsAy
3cv1V6+xPGAYlY9n0JWxzclIIzLNewm2PdIMQCFjoh1ROb4kkFMiso64ONSd4Nqv
MWx3UavMy/qcB3g0ZQ5tCZWTeyqzrvo/Kz3JIbVu8sDYb5hhoFC5ad3xGnVkuytZ
2zP1KCJUZaTFrDG9bzERBFtmYfOfNxpV7XEWZtACKeIKEG6Py8fH2OHKiUNqMFny
Ro0jgxUsf2ZuOiw3+YbuK2urRjFocr0wGDa79f9bIQ==
=BmpI
-----END PGP SIGNATURE-----

--- End Message ---

Reply via email to