Package: mcrl2,sim
Version: mcrl2/201001-1
Version: sim/0.9.5~svn20080806-1
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite

Date: 2010-03-15
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:


WARNING: The following packages cannot be authenticated!
  x11-common libice6 libxau6 libxdmcp6 libxcb1 libx11-data libx11-6 libxext6
  libsm6 libxt6 libxmu6 libxpm4 libxaw7 libxi6 libxmuu1 libxrender1 libxrandr2
  libxxf86vm1 libgmp3c2 libmpfr1ldbl cpp-4.4 cpp x11-xserver-utils libpcre3
  libxml2 ucf defoma esound-common libfreetype6 ttf-dejavu-core
  fontconfig-config libfontconfig1 fontconfig hicolor-icon-theme kdelibs-data
  libart-2.0-2 libartsc0 libasound2 libaudio2 libaudiofile0 libesd0
  libglib2.0-0 libcelt0-0 libsamplerate0 libjack0 libmad0 libjpeg62 liblcms1
  libmng1 libpng12-0 libxfixes3 libxcursor1 libxft2 libxinerama1 libqt3-mt
  libogg0 libvorbis0a libvorbisfile3 oss-compat libarts1c2a libaspell15
  libavahi-common-data libavahi-common3 libdbus-1-3 libavahi-client3
  libavahi-qt3-1 libcups2 libfam0 libilmbase6 libjasper1 liblua50 liblualib50
  libopenexr6 libtiff4 libxslt1.1 menu-xdg xauth kdelibs4c2a libatk1.0-0
  libboost-system1.41.0 libboost-filesystem1.41.0 libboost-signals1.41.0
  libboost-thread1.41.0 libsysfs2 tsconf libts-0.0-0 libdirectfb-1.2-0
  libpixman-1-0 libxcb-render0 libxcb-render-util0 libcairo2 libdatrie1
  libdrm2 libxdamage1 libgl1-mesa-glx libglu1-mesa libgtk2.0-common
  libpango1.0-common libthai-data libthai0 libpango1.0-0 libxcomposite1
  shared-mime-info libgtk2.0-0 libwxbase2.8-0 libwxgtk2.8-0 libxss1 sim-data
  sim mcrl2
W: cowdancer: unsupported operation flock, read-only open and 
fchown/fchmod/flock are not supported: tried openning dev:inode of 2055:5408506
W: cowdancer: unsupported operation flock, read-only open and 
fchown/fchmod/flock are not supported: tried openning dev:inode of 2055:5407760
W: cowdancer: unsupported operation flock, read-only open and 
fchown/fchmod/flock are not supported: tried openning dev:inode of 2055:5406756

Extracting templates from packages: 27%
Extracting templates from packages: 54%
Extracting templates from packages: 81%
Extracting templates from packages: 100%
Preconfiguring packages ...
Authentication warning overridden.
Can not write log, openpty() failed (/dev/pts not mounted?)
Selecting previously deselected package x11-common.
(Reading database ... 12194 files and directories currently installed.)
Unpacking x11-common (from .../x11-common_1%3a7.5+5_all.deb) ...
W: cowdancer: unsupported operation flock, read-only open and 
fchown/fchmod/flock are not supported: tried openning dev:inode of 2055:5407760
Selecting previously deselected package libice6.
Unpacking libice6 (from .../libice6_2%3a1.0.6-1_amd64.deb) ...
Selecting previously deselected package libxau6.
Unpacking libxau6 (from .../libxau6_1%3a1.0.5-2_amd64.deb) ...
Selecting previously deselected package libxdmcp6.
Unpacking libxdmcp6 (from .../libxdmcp6_1%3a1.0.3-2_amd64.deb) ...
Selecting previously deselected package libxcb1.
Unpacking libxcb1 (from .../libxcb1_1.5-3_amd64.deb) ...
Selecting previously deselected package libx11-data.
Unpacking libx11-data (from .../libx11-data_2%3a1.3.3-2_all.deb) ...
Selecting previously deselected package libx11-6.
Unpacking libx11-6 (from .../libx11-6_2%3a1.3.3-2_amd64.deb) ...
Selecting previously deselected package libxext6.
Unpacking libxext6 (from .../libxext6_2%3a1.1.1-3_amd64.deb) ...
Selecting previously deselected package libsm6.
Unpacking libsm6 (from .../libsm6_2%3a1.1.1-1_amd64.deb) ...
Selecting previously deselected package libxt6.
Unpacking libxt6 (from .../libxt6_1%3a1.0.7-1_amd64.deb) ...
Selecting previously deselected package libxmu6.
Unpacking libxmu6 (from .../libxmu6_2%3a1.0.5-1_amd64.deb) ...
Selecting previously deselected package libxpm4.
Unpacking libxpm4 (from .../libxpm4_1%3a3.5.8-1_amd64.deb) ...
Selecting previously deselected package libxaw7.
Unpacking libxaw7 (from .../libxaw7_2%3a1.0.7-1_amd64.deb) ...
Selecting previously deselected package libxi6.
Unpacking libxi6 (from .../libxi6_2%3a1.3-3_amd64.deb) ...
Selecting previously deselected package libxmuu1.
Unpacking libxmuu1 (from .../libxmuu1_2%3a1.0.5-1_amd64.deb) ...
Selecting previously deselected package libxrender1.
Unpacking libxrender1 (from .../libxrender1_1%3a0.9.5-2_amd64.deb) ...
Selecting previously deselected package libxrandr2.
Unpacking libxrandr2 (from .../libxrandr2_2%3a1.3.0-3_amd64.deb) ...
Selecting previously deselected package libxxf86vm1.
Unpacking libxxf86vm1 (from .../libxxf86vm1_1%3a1.1.0-2_amd64.deb) ...
Selecting previously deselected package libgmp3c2.
Unpacking libgmp3c2 (from .../libgmp3c2_2%3a4.3.2+dfsg-1_amd64.deb) ...
Selecting previously deselected package libmpfr1ldbl.
Unpacking libmpfr1ldbl (from .../libmpfr1ldbl_2.4.2-3_amd64.deb) ...
Selecting previously deselected package cpp-4.4.
Unpacking cpp-4.4 (from .../cpp-4.4_4.4.3-3_amd64.deb) ...
Selecting previously deselected package cpp.
Unpacking cpp (from .../cpp_4%3a4.4.3-1_amd64.deb) ...
Processing triggers for man-db ...
W: cowdancer: unsupported operation flock, read-only open and 
fchown/fchmod/flock are not supported: tried openning dev:inode of 2055:5407760
Can not write log, openpty() failed (/dev/pts not mounted?)
Setting up x11-common (1:7.5+5) ...
W: cowdancer: unsupported operation flock, read-only open and 
fchown/fchmod/flock are not supported: tried openning dev:inode of 2055:5407760
Can not write log, openpty() failed (/dev/pts not mounted?)
Selecting previously deselected package x11-xserver-utils.
(Reading database ... 12606 files and directories currently installed.)
Unpacking x11-xserver-utils (from .../x11-xserver-utils_7.5+1_amd64.deb) ...
Selecting previously deselected package libpcre3.
Unpacking libpcre3 (from .../libpcre3_7.8-3_amd64.deb) ...
Selecting previously deselected package libxml2.
Unpacking libxml2 (from .../libxml2_2.7.6.dfsg-2+b1_amd64.deb) ...
Selecting previously deselected package ucf.
Unpacking ucf (from .../archives/ucf_3.0025_all.deb) ...
Moving old data out of the way
Selecting previously deselected package defoma.
Unpacking defoma (from .../defoma_0.11.10-4_all.deb) ...
Selecting previously deselected package esound-common.
Unpacking esound-common (from .../esound-common_0.2.41-7_all.deb) ...
Selecting previously deselected package libfreetype6.
Unpacking libfreetype6 (from .../libfreetype6_2.3.11-1_amd64.deb) ...
Selecting previously deselected package ttf-dejavu-core.
Unpacking ttf-dejavu-core (from .../ttf-dejavu-core_2.30-2_all.deb) ...
Selecting previously deselected package fontconfig-config.
Unpacking fontconfig-config (from .../fontconfig-config_2.8.0-2_all.deb) ...
Selecting previously deselected package libfontconfig1.
Unpacking libfontconfig1 (from .../libfontconfig1_2.8.0-2_amd64.deb) ...
Selecting previously deselected package fontconfig.
Unpacking fontconfig (from .../fontconfig_2.8.0-2_amd64.deb) ...
Selecting previously deselected package hicolor-icon-theme.
Unpacking hicolor-icon-theme (from .../hicolor-icon-theme_0.11-1_all.deb) ...
Selecting previously deselected package kdelibs-data.
Unpacking kdelibs-data (from .../kdelibs-data_4%3a3.5.10.dfsg.1-3_all.deb) ...
Selecting previously deselected package libart-2.0-2.
Unpacking libart-2.0-2 (from .../libart-2.0-2_2.3.20-2_amd64.deb) ...
Selecting previously deselected package libartsc0.
Unpacking libartsc0 (from .../libartsc0_1.5.9-3+b1_amd64.deb) ...
Selecting previously deselected package libasound2.
Unpacking libasound2 (from .../libasound2_1.0.22-2_amd64.deb) ...
Selecting previously deselected package libaudio2.
Unpacking libaudio2 (from .../libaudio2_1.9.2-3_amd64.deb) ...
Selecting previously deselected package libaudiofile0.
Unpacking libaudiofile0 (from .../libaudiofile0_0.2.6-8_amd64.deb) ...
Selecting previously deselected package libesd0.
Unpacking libesd0 (from .../libesd0_0.2.41-7_amd64.deb) ...
Selecting previously deselected package libglib2.0-0.
Unpacking libglib2.0-0 (from .../libglib2.0-0_2.22.4-1_amd64.deb) ...
Selecting previously deselected package libcelt0-0.
Unpacking libcelt0-0 (from .../libcelt0-0_0.7.1-1_amd64.deb) ...
Selecting previously deselected package libsamplerate0.
Unpacking libsamplerate0 (from .../libsamplerate0_0.1.7-3_amd64.deb) ...
Selecting previously deselected package libjack0.
Unpacking libjack0 (from .../libjack0_0.118+svn3796-3_amd64.deb) ...
Selecting previously deselected package libmad0.
Unpacking libmad0 (from .../libmad0_0.15.1b-5_amd64.deb) ...
Selecting previously deselected package libjpeg62.
Unpacking libjpeg62 (from .../libjpeg62_6b-16.1_amd64.deb) ...
Selecting previously deselected package liblcms1.
Unpacking liblcms1 (from .../liblcms1_1.18.dfsg-1.2+b1_amd64.deb) ...
Selecting previously deselected package libmng1.
Unpacking libmng1 (from .../libmng1_1.0.9-1_amd64.deb) ...
Selecting previously deselected package libpng12-0.
Unpacking libpng12-0 (from .../libpng12-0_1.2.43-1_amd64.deb) ...
Selecting previously deselected package libxfixes3.
Unpacking libxfixes3 (from .../libxfixes3_1%3a4.0.4-2_amd64.deb) ...
Selecting previously deselected package libxcursor1.
Unpacking libxcursor1 (from .../libxcursor1_1%3a1.1.10-2_amd64.deb) ...
Selecting previously deselected package libxft2.
Unpacking libxft2 (from .../libxft2_2.1.14-2_amd64.deb) ...
Selecting previously deselected package libxinerama1.
Unpacking libxinerama1 (from .../libxinerama1_2%3a1.1-3_amd64.deb) ...
Selecting previously deselected package libqt3-mt.
Unpacking libqt3-mt (from .../libqt3-mt_3%3a3.3.8b-6_amd64.deb) ...
Selecting previously deselected package libogg0.
Unpacking libogg0 (from .../libogg0_1.1.4~dfsg-2_amd64.deb) ...
Selecting previously deselected package libvorbis0a.
Unpacking libvorbis0a (from .../libvorbis0a_1.2.3-3_amd64.deb) ...
Selecting previously deselected package libvorbisfile3.
Unpacking libvorbisfile3 (from .../libvorbisfile3_1.2.3-3_amd64.deb) ...
Selecting previously deselected package oss-compat.
Unpacking oss-compat (from .../oss-compat_0.0.4+nmu3_all.deb) ...
Selecting previously deselected package libarts1c2a.
Unpacking libarts1c2a (from .../libarts1c2a_1.5.9-3+b1_amd64.deb) ...
Selecting previously deselected package libaspell15.
Unpacking libaspell15 (from .../libaspell15_0.60.6-4_amd64.deb) ...
Selecting previously deselected package libavahi-common-data.
Unpacking libavahi-common-data (from 
.../libavahi-common-data_0.6.25-3_amd64.deb) ...
Selecting previously deselected package libavahi-common3.
Unpacking libavahi-common3 (from .../libavahi-common3_0.6.25-3_amd64.deb) ...
Selecting previously deselected package libdbus-1-3.
Unpacking libdbus-1-3 (from .../libdbus-1-3_1.2.20-2_amd64.deb) ...
Selecting previously deselected package libavahi-client3.
Unpacking libavahi-client3 (from .../libavahi-client3_0.6.25-3_amd64.deb) ...
Selecting previously deselected package libavahi-qt3-1.
Unpacking libavahi-qt3-1 (from .../libavahi-qt3-1_0.6.25-3_amd64.deb) ...
Selecting previously deselected package libcups2.
Unpacking libcups2 (from .../libcups2_1.4.2-9.1_amd64.deb) ...
Selecting previously deselected package libfam0.
Unpacking libfam0 (from .../libfam0_2.7.0-16.1_amd64.deb) ...
Selecting previously deselected package libilmbase6.
Unpacking libilmbase6 (from .../libilmbase6_1.0.1-3_amd64.deb) ...
Selecting previously deselected package libjasper1.
Unpacking libjasper1 (from .../libjasper1_1.900.1-7_amd64.deb) ...
Selecting previously deselected package liblua50.
Unpacking liblua50 (from .../liblua50_5.0.3-4_amd64.deb) ...
Selecting previously deselected package liblualib50.
Unpacking liblualib50 (from .../liblualib50_5.0.3-4_amd64.deb) ...
Selecting previously deselected package libopenexr6.
Unpacking libopenexr6 (from .../libopenexr6_1.6.1-4.1_amd64.deb) ...
Selecting previously deselected package libtiff4.
Unpacking libtiff4 (from .../libtiff4_3.9.2-3+b1_amd64.deb) ...
Selecting previously deselected package libxslt1.1.
Unpacking libxslt1.1 (from .../libxslt1.1_1.1.26-2_amd64.deb) ...
Selecting previously deselected package menu-xdg.
Unpacking menu-xdg (from .../archives/menu-xdg_0.5_all.deb) ...
Selecting previously deselected package xauth.
Unpacking xauth (from .../xauth_1%3a1.0.4-1_amd64.deb) ...
Selecting previously deselected package kdelibs4c2a.
Unpacking kdelibs4c2a (from .../kdelibs4c2a_4%3a3.5.10.dfsg.1-3_amd64.deb) ...
Selecting previously deselected package libatk1.0-0.
Unpacking libatk1.0-0 (from .../libatk1.0-0_1.28.0-1_amd64.deb) ...
Selecting previously deselected package libboost-system1.41.0.
Unpacking libboost-system1.41.0 (from 
.../libboost-system1.41.0_1.41.0-3+b1_amd64.deb) ...
Selecting previously deselected package libboost-filesystem1.41.0.
Unpacking libboost-filesystem1.41.0 (from 
.../libboost-filesystem1.41.0_1.41.0-3+b1_amd64.deb) ...
Selecting previously deselected package libboost-signals1.41.0.
Unpacking libboost-signals1.41.0 (from 
.../libboost-signals1.41.0_1.41.0-3+b1_amd64.deb) ...
Selecting previously deselected package libboost-thread1.41.0.
Unpacking libboost-thread1.41.0 (from 
.../libboost-thread1.41.0_1.41.0-3+b1_amd64.deb) ...
Selecting previously deselected package libsysfs2.
Unpacking libsysfs2 (from .../libsysfs2_2.1.0-6_amd64.deb) ...
Selecting previously deselected package tsconf.
Unpacking tsconf (from .../archives/tsconf_1.0-7_all.deb) ...
Selecting previously deselected package libts-0.0-0.
Unpacking libts-0.0-0 (from .../libts-0.0-0_1.0-7_amd64.deb) ...
Selecting previously deselected package libdirectfb-1.2-0.
Unpacking libdirectfb-1.2-0 (from 
.../libdirectfb-1.2-0_1.2.10really1.2.8-1+b1_amd64.deb) ...
Selecting previously deselected package libpixman-1-0.
Unpacking libpixman-1-0 (from .../libpixman-1-0_0.16.4-1_amd64.deb) ...
Selecting previously deselected package libxcb-render0.
Unpacking libxcb-render0 (from .../libxcb-render0_1.5-3_amd64.deb) ...
Selecting previously deselected package libxcb-render-util0.
Unpacking libxcb-render-util0 (from .../libxcb-render-util0_0.3.6-1_amd64.deb) 
...
Selecting previously deselected package libcairo2.
Unpacking libcairo2 (from .../libcairo2_1.8.10-2_amd64.deb) ...
Selecting previously deselected package libdatrie1.
Unpacking libdatrie1 (from .../libdatrie1_0.2.3-1_amd64.deb) ...
Selecting previously deselected package libdrm2.
Unpacking libdrm2 (from .../libdrm2_2.4.18-2_amd64.deb) ...
Selecting previously deselected package libxdamage1.
Unpacking libxdamage1 (from .../libxdamage1_1%3a1.1.2-1_amd64.deb) ...
Selecting previously deselected package libgl1-mesa-glx.
Unpacking libgl1-mesa-glx (from .../libgl1-mesa-glx_7.7-4_amd64.deb) ...
Selecting previously deselected package libglu1-mesa.
Unpacking libglu1-mesa (from .../libglu1-mesa_7.7-4_amd64.deb) ...
Selecting previously deselected package libgtk2.0-common.
Unpacking libgtk2.0-common (from .../libgtk2.0-common_2.18.7-1_all.deb) ...
Selecting previously deselected package libpango1.0-common.
Unpacking libpango1.0-common (from .../libpango1.0-common_1.26.2-1_all.deb) ...
Selecting previously deselected package libthai-data.
Unpacking libthai-data (from .../libthai-data_0.1.14-2_all.deb) ...
Selecting previously deselected package libthai0.
Unpacking libthai0 (from .../libthai0_0.1.14-2_amd64.deb) ...
Selecting previously deselected package libpango1.0-0.
Unpacking libpango1.0-0 (from .../libpango1.0-0_1.26.2-1_amd64.deb) ...
Selecting previously deselected package libxcomposite1.
Unpacking libxcomposite1 (from .../libxcomposite1_1%3a0.4.1-1_amd64.deb) ...
Selecting previously deselected package shared-mime-info.
Unpacking shared-mime-info (from .../shared-mime-info_0.71-1_amd64.deb) ...
Selecting previously deselected package libgtk2.0-0.
Unpacking libgtk2.0-0 (from .../libgtk2.0-0_2.18.7-1_amd64.deb) ...
Selecting previously deselected package libwxbase2.8-0.
Unpacking libwxbase2.8-0 (from .../libwxbase2.8-0_2.8.10.1-3_amd64.deb) ...
Selecting previously deselected package libwxgtk2.8-0.
Unpacking libwxgtk2.8-0 (from .../libwxgtk2.8-0_2.8.10.1-3_amd64.deb) ...
Selecting previously deselected package libxss1.
Unpacking libxss1 (from .../libxss1_1%3a1.2.0-2_amd64.deb) ...
Selecting previously deselected package sim-data.
Unpacking sim-data (from .../sim-data_0.9.5~svn20080806-1_all.deb) ...
Selecting previously deselected package sim.
Unpacking sim (from .../sim_0.9.5~svn20080806-1_amd64.deb) ...
Selecting previously deselected package mcrl2.
Unpacking mcrl2 (from .../mcrl2_201001-1_amd64.deb) ...
dpkg: error processing /var/cache/apt/archives/mcrl2_201001-1_amd64.deb 
(--unpack):
 trying to overwrite '/usr/bin/sim', which is also in package sim 
0:0.9.5~svn20080806-1
dpkg-deb: subprocess paste killed by signal (Broken pipe)
Processing triggers for man-db ...
W: cowdancer: unsupported operation flock, read-only open and 
fchown/fchmod/flock are not supported: tried openning dev:inode of 2055:5407760
Errors were encountered while processing:
 /var/cache/apt/archives/mcrl2_201001-1_amd64.deb
E: Sub-process /usr/bin/dpkg returned an error code (1)
cow-shell unlink .ilist: No such file or directory


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/sim
  /usr/share/man/man1/sim.1.gz

This bug is assigned to 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.

The same problem exists between the packages mcrl2 and sim-qt.

-Ralf.

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



-- 
To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Reply via email to