Your message dated Fri, 24 Feb 2012 15:47:35 +0000
with message-id <e1s0xmt-0000z6...@franck.debian.org>
and subject line Bug#661092: fixed in mcrl2 201202.0-2
has caused the Debian Bug report #661092,
regarding mcrl2 and libowfat-dev: 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.)
--
661092: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=661092
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: libowfat-dev,mcrl2
Version: libowfat-dev/0.28-5
Version: mcrl2/201202.0-1
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2012-02-24
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!
libkeyutils1 libkrb5support0 libk5crypto3 libkrb5-3 libgssapi-krb5-2
libpcre3 libffi5 libglib2.0-0 libatk1.0-data libatk1.0-0
libavahi-common-data libavahi-common3 libdbus-1-3 libavahi-client3 libcups2
libdatrie1 libdrm2 libexpat1 libfreetype6 ucf ttf-dejavu-core
fontconfig-config libfontconfig1 libjpeg8 libjasper1 libpng12-0 libtiff4
libxau6 libxdmcp6 libxcb1 libx11-data libx11-6 libgdk-pixbuf2.0-common
libgdk-pixbuf2.0-0 libglapi-mesa libxfixes3 libxdamage1 libxext6 libxxf86vm1
libgl1-mesa-glx libglu1-mesa libgtk2.0-common libpixman-1-0 libxcb-render0
libxcb-shm0 libxrender1 libcairo2 libthai-data libthai0 libxft2 fontconfig
libpango1.0-0 libxcomposite1 libxcursor1 libxi6 libxinerama1 libxrandr2
libxml2 shared-mime-info libgtk2.0-0 x11-common libice6 libsm6
libwxbase2.8-0 libwxgtk2.8-0 libicu48 libboost-regex1.48.0
libboost-signals1.48.0 libc-dev-bin linux-libc-dev libc6-dev libgl2ps0
libowfat0 libowfat-dev mcrl2
Extracting templates from packages: 40%
Extracting templates from packages: 80%
Extracting templates from packages: 100%
Preconfiguring packages ...
Authentication warning overridden.
Can not write log, openpty() failed (/dev/pts not mounted?)
Selecting previously unselected package libkeyutils1.
(Reading database ... 10552 files and directories currently installed.)
Unpacking libkeyutils1 (from .../libkeyutils1_1.5.2-2_amd64.deb) ...
Selecting previously unselected package libkrb5support0.
Unpacking libkrb5support0 (from
.../libkrb5support0_1.10+dfsg~beta1-2_amd64.deb) ...
Selecting previously unselected package libk5crypto3.
Unpacking libk5crypto3 (from .../libk5crypto3_1.10+dfsg~beta1-2_amd64.deb) ...
Selecting previously unselected package libkrb5-3.
Unpacking libkrb5-3 (from .../libkrb5-3_1.10+dfsg~beta1-2_amd64.deb) ...
Selecting previously unselected package libgssapi-krb5-2.
Unpacking libgssapi-krb5-2 (from
.../libgssapi-krb5-2_1.10+dfsg~beta1-2_amd64.deb) ...
Selecting previously unselected package libpcre3.
Unpacking libpcre3 (from .../libpcre3_8.12-4_amd64.deb) ...
Selecting previously unselected package libffi5.
Unpacking libffi5 (from .../libffi5_3.0.10-3_amd64.deb) ...
Selecting previously unselected package libglib2.0-0.
Unpacking libglib2.0-0 (from .../libglib2.0-0_2.30.2-6_amd64.deb) ...
Selecting previously unselected package libatk1.0-data.
Unpacking libatk1.0-data (from .../libatk1.0-data_2.2.0-2_all.deb) ...
Selecting previously unselected package libatk1.0-0.
Unpacking libatk1.0-0 (from .../libatk1.0-0_2.2.0-2_amd64.deb) ...
Selecting previously unselected package libavahi-common-data.
Unpacking libavahi-common-data (from
.../libavahi-common-data_0.6.30-6_amd64.deb) ...
Selecting previously unselected package libavahi-common3.
Unpacking libavahi-common3 (from .../libavahi-common3_0.6.30-6_amd64.deb) ...
Selecting previously unselected package libdbus-1-3.
Unpacking libdbus-1-3 (from .../libdbus-1-3_1.4.18-1_amd64.deb) ...
Selecting previously unselected package libavahi-client3.
Unpacking libavahi-client3 (from .../libavahi-client3_0.6.30-6_amd64.deb) ...
Selecting previously unselected package libcups2.
Unpacking libcups2 (from .../libcups2_1.5.2-5_amd64.deb) ...
Selecting previously unselected package libdatrie1.
Unpacking libdatrie1 (from .../libdatrie1_0.2.5-3_amd64.deb) ...
Selecting previously unselected package libdrm2.
Unpacking libdrm2 (from .../libdrm2_2.4.30-1_amd64.deb) ...
Selecting previously unselected package libexpat1.
Unpacking libexpat1 (from .../libexpat1_2.0.1-7.2_amd64.deb) ...
Selecting previously unselected package libfreetype6.
Unpacking libfreetype6 (from .../libfreetype6_2.4.8-1_amd64.deb) ...
Selecting previously unselected package ucf.
Unpacking ucf (from .../ucf_3.0025+nmu2_all.deb) ...
Moving old data out of the way
Selecting previously unselected package ttf-dejavu-core.
Unpacking ttf-dejavu-core (from .../ttf-dejavu-core_2.33-2_all.deb) ...
Selecting previously unselected package fontconfig-config.
Unpacking fontconfig-config (from .../fontconfig-config_2.8.0-3.1_all.deb) ...
Selecting previously unselected package libfontconfig1.
Unpacking libfontconfig1 (from .../libfontconfig1_2.8.0-3.1_amd64.deb) ...
Selecting previously unselected package libjpeg8.
Unpacking libjpeg8 (from .../libjpeg8_8d-1_amd64.deb) ...
Selecting previously unselected package libjasper1.
Unpacking libjasper1 (from .../libjasper1_1.900.1-13_amd64.deb) ...
Selecting previously unselected package libpng12-0.
Unpacking libpng12-0 (from .../libpng12-0_1.2.47-1_amd64.deb) ...
Selecting previously unselected package libtiff4.
Unpacking libtiff4 (from .../libtiff4_3.9.6-1_amd64.deb) ...
Selecting previously unselected package libxau6.
Unpacking libxau6 (from .../libxau6_1%3a1.0.6-4_amd64.deb) ...
Selecting previously unselected package libxdmcp6.
Unpacking libxdmcp6 (from .../libxdmcp6_1%3a1.1.0-4_amd64.deb) ...
Selecting previously unselected package libxcb1.
Unpacking libxcb1 (from .../libxcb1_1.8-2_amd64.deb) ...
Selecting previously unselected package libx11-data.
Unpacking libx11-data (from .../libx11-data_2%3a1.4.4-4_all.deb) ...
Selecting previously unselected package libx11-6.
Unpacking libx11-6 (from .../libx11-6_2%3a1.4.4-4_amd64.deb) ...
Selecting previously unselected package libgdk-pixbuf2.0-common.
Unpacking libgdk-pixbuf2.0-common (from
.../libgdk-pixbuf2.0-common_2.24.1-1_all.deb) ...
Selecting previously unselected package libgdk-pixbuf2.0-0.
Unpacking libgdk-pixbuf2.0-0 (from .../libgdk-pixbuf2.0-0_2.24.1-1_amd64.deb)
...
Selecting previously unselected package libglapi-mesa.
Unpacking libglapi-mesa (from .../libglapi-mesa_7.11.2-1_amd64.deb) ...
Selecting previously unselected package libxfixes3.
Unpacking libxfixes3 (from .../libxfixes3_1%3a5.0-4_amd64.deb) ...
Selecting previously unselected package libxdamage1.
Unpacking libxdamage1 (from .../libxdamage1_1%3a1.1.3-2_amd64.deb) ...
Selecting previously unselected package libxext6.
Unpacking libxext6 (from .../libxext6_2%3a1.3.0-3_amd64.deb) ...
Selecting previously unselected package libxxf86vm1.
Unpacking libxxf86vm1 (from .../libxxf86vm1_1%3a1.1.1-2_amd64.deb) ...
Selecting previously unselected package libgl1-mesa-glx.
Unpacking libgl1-mesa-glx (from .../libgl1-mesa-glx_7.11.2-1_amd64.deb) ...
Selecting previously unselected package libglu1-mesa.
Unpacking libglu1-mesa (from .../libglu1-mesa_7.11.2-1_amd64.deb) ...
Selecting previously unselected package libgtk2.0-common.
Unpacking libgtk2.0-common (from .../libgtk2.0-common_2.24.10-1_all.deb) ...
Selecting previously unselected package libpixman-1-0.
Unpacking libpixman-1-0 (from .../libpixman-1-0_0.24.4-1_amd64.deb) ...
Selecting previously unselected package libxcb-render0.
Unpacking libxcb-render0 (from .../libxcb-render0_1.8-2_amd64.deb) ...
Selecting previously unselected package libxcb-shm0.
Unpacking libxcb-shm0 (from .../libxcb-shm0_1.8-2_amd64.deb) ...
Selecting previously unselected package libxrender1.
Unpacking libxrender1 (from .../libxrender1_1%3a0.9.6-2_amd64.deb) ...
Selecting previously unselected package libcairo2.
Unpacking libcairo2 (from .../libcairo2_1.10.2-6.2_amd64.deb) ...
Selecting previously unselected package libthai-data.
Unpacking libthai-data (from .../libthai-data_0.1.17-1_all.deb) ...
Selecting previously unselected package libthai0.
Unpacking libthai0 (from .../libthai0_0.1.17-1_amd64.deb) ...
Selecting previously unselected package libxft2.
Unpacking libxft2 (from .../libxft2_2.2.0-3_amd64.deb) ...
Selecting previously unselected package fontconfig.
Unpacking fontconfig (from .../fontconfig_2.8.0-3.1_amd64.deb) ...
Selecting previously unselected package libpango1.0-0.
Unpacking libpango1.0-0 (from .../libpango1.0-0_1.29.4-2_amd64.deb) ...
Selecting previously unselected package libxcomposite1.
Unpacking libxcomposite1 (from .../libxcomposite1_1%3a0.4.3-2_amd64.deb) ...
Selecting previously unselected package libxcursor1.
Unpacking libxcursor1 (from .../libxcursor1_1%3a1.1.12-1_amd64.deb) ...
Selecting previously unselected package libxi6.
Unpacking libxi6 (from .../libxi6_2%3a1.4.5-1_amd64.deb) ...
Selecting previously unselected package libxinerama1.
Unpacking libxinerama1 (from .../libxinerama1_2%3a1.1.1-3_amd64.deb) ...
Selecting previously unselected package libxrandr2.
Unpacking libxrandr2 (from .../libxrandr2_2%3a1.3.2-2_amd64.deb) ...
Selecting previously unselected package libxml2.
Unpacking libxml2 (from .../libxml2_2.7.8.dfsg-7_amd64.deb) ...
Selecting previously unselected package shared-mime-info.
Unpacking shared-mime-info (from .../shared-mime-info_0.90-1_amd64.deb) ...
Selecting previously unselected package libgtk2.0-0.
Unpacking libgtk2.0-0 (from .../libgtk2.0-0_2.24.10-1_amd64.deb) ...
Selecting previously unselected package x11-common.
Unpacking x11-common (from .../x11-common_1%3a7.6+11_all.deb) ...
Selecting previously unselected package libice6.
Unpacking libice6 (from .../libice6_2%3a1.0.7-2_amd64.deb) ...
Selecting previously unselected package libsm6.
Unpacking libsm6 (from .../libsm6_2%3a1.2.0-2_amd64.deb) ...
Selecting previously unselected package libwxbase2.8-0.
Unpacking libwxbase2.8-0 (from .../libwxbase2.8-0_2.8.12.1-7_amd64.deb) ...
Selecting previously unselected package libwxgtk2.8-0.
Unpacking libwxgtk2.8-0 (from .../libwxgtk2.8-0_2.8.12.1-7_amd64.deb) ...
Selecting previously unselected package libicu48.
Unpacking libicu48 (from .../libicu48_4.8.1.1-3_amd64.deb) ...
Selecting previously unselected package libboost-regex1.48.0.
Unpacking libboost-regex1.48.0 (from
.../libboost-regex1.48.0_1.48.0-3_amd64.deb) ...
Selecting previously unselected package libboost-signals1.48.0.
Unpacking libboost-signals1.48.0 (from
.../libboost-signals1.48.0_1.48.0-3_amd64.deb) ...
Selecting previously unselected package libc-dev-bin.
Unpacking libc-dev-bin (from .../libc-dev-bin_2.13-26_amd64.deb) ...
Selecting previously unselected package linux-libc-dev.
Unpacking linux-libc-dev (from .../linux-libc-dev_3.2.6-1_amd64.deb) ...
Selecting previously unselected package libc6-dev.
Unpacking libc6-dev (from .../libc6-dev_2.13-26_amd64.deb) ...
Selecting previously unselected package libgl2ps0.
Unpacking libgl2ps0 (from .../libgl2ps0_1.3.6-1_amd64.deb) ...
Selecting previously unselected package libowfat0.
Unpacking libowfat0 (from .../libowfat0_0.28-5_amd64.deb) ...
Selecting previously unselected package libowfat-dev.
Unpacking libowfat-dev (from .../libowfat-dev_0.28-5_amd64.deb) ...
Selecting previously unselected package mcrl2.
Unpacking mcrl2 (from .../mcrl2_201202.0-1_amd64.deb) ...
dpkg: error processing /var/cache/apt/archives/mcrl2_201202.0-1_amd64.deb
(--unpack):
trying to overwrite '/usr/include/scan.h', which is also in package
libowfat-dev 0.28-5
configured to not write apport reports
dpkg-deb: error: subprocess paste was killed by signal (Broken pipe)
Processing triggers for man-db ...
Errors were encountered while processing:
/var/cache/apt/archives/mcrl2_201202.0-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/include/scan.h
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: mcrl2
Source-Version: 201202.0-2
We believe that the bug you reported is fixed in the latest version of
mcrl2, which is due to be installed in the Debian FTP archive:
mcrl2_201202.0-2.debian.tar.gz
to main/m/mcrl2/mcrl2_201202.0-2.debian.tar.gz
mcrl2_201202.0-2.dsc
to main/m/mcrl2/mcrl2_201202.0-2.dsc
mcrl2_201202.0-2_amd64.deb
to main/m/mcrl2/mcrl2_201202.0-2_amd64.deb
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 661...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Paul van Tilburg <pau...@debian.org> (supplier of updated mcrl2 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: SHA1
Format: 1.8
Date: Fri, 24 Feb 2012 16:16:02 +0100
Source: mcrl2
Binary: mcrl2
Architecture: source amd64
Version: 201202.0-2
Distribution: unstable
Urgency: low
Maintainer: Jeroen Keiren <jkei...@win.tue.nl>
Changed-By: Paul van Tilburg <pau...@debian.org>
Description:
mcrl2 - formal specification language toolset
Closes: 661092
Changes:
mcrl2 (201202.0-2) unstable; urgency=low
.
[ Jeroen Keiren ]
* Bugfix upload (closes: #661092).
* debian/patches/series,
debian/patches/dparser_header_fixes.patch:
- Install headers belonging to dparser in their own directory.
.
[ Paul van Tilburg ]
* debian/control:
- Changed myself to uploaded, made Jeroen maintainer.
- Bumped standards version to 3.9.3.
Checksums-Sha1:
9ab890e8814caef6f10fd26076e4636a1c5dffbc 1478 mcrl2_201202.0-2.dsc
8298931aa58520866509ed8cf3d7052f0baa6504 6981 mcrl2_201202.0-2.debian.tar.gz
03de81cfe36672cde5c8bdcd23ecc591e3c59bb9 12838240 mcrl2_201202.0-2_amd64.deb
Checksums-Sha256:
7f13109d9ec03af9ffa1b0aeabb7f1f9e3e5416d5ae4d4f563aaa5d656604b5f 1478
mcrl2_201202.0-2.dsc
461eae62657e4d2167fb7e9793578065203ce1d4f972f71c9492b82139cff2ff 6981
mcrl2_201202.0-2.debian.tar.gz
6d71ff5316eae4ae59fc2286bfcd414d55d84e9e65a5870f82677e60bd071f80 12838240
mcrl2_201202.0-2_amd64.deb
Files:
552447b5db19f7d44690580694064993 1478 math extra mcrl2_201202.0-2.dsc
282a6e0184de9d8824e5b3effc637e0a 6981 math extra mcrl2_201202.0-2.debian.tar.gz
b38af75c1c767873f4d498a1173ca60e 12838240 math extra mcrl2_201202.0-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iEYEARECAAYFAk9HrlkACgkQJBBhylAGQYHHhACdEnO9nWRaT6SSJ1P46yr14mu9
7/sAoIUj0j3Ba0rIL6HzVAMW30z2Sxgy
=Otv4
-----END PGP SIGNATURE-----
--- End Message ---