Your message dated Wed, 26 Apr 2017 04:04:59 +0000
with message-id <e1d3ecj-0008hc...@fasolo.debian.org>
and subject line Bug#861021: fixed in spin 6.4.5+dfsg-3
has caused the Debian Bug report #861021,
regarding spin: missing Breaks+Replaces: staden (<< 2.0.0+b11)
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.)
--
861021: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=861021
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: staden,spin
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
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 unselected package spin.
Preparing to unpack .../spin_6.4.5-1_amd64.deb ...
Unpacking spin (6.4.5-1) ...
dpkg: error processing archive /var/cache/apt/archives/spin_6.4.5-1_amd64.deb
(--unpack):
trying to overwrite '/usr/bin/spin', which is also in package staden
2.0.0+b10-5
dpkg-deb: error: subprocess paste was killed by signal (Broken pipe)
Errors were encountered while processing:
/var/cache/apt/archives/spin_6.4.5-1_amd64.deb
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/spin
usr/share/man/man1/spin.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. You may
also register in the BTS that the other package is affected by the bug.
Cheers,
Andreas
PS: for more information about the detection of file overwrite errors
of this kind see https://qa.debian.org/dose/file-overwrites.html
--- End Message ---
--- Begin Message ---
Source: spin
Source-Version: 6.4.5+dfsg-3
We believe that the bug you reported is fixed in the latest version of
spin, 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 861...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
tony mancill <tmanc...@debian.org> (supplier of updated spin 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: SHA512
Format: 1.8
Date: Tue, 25 Apr 2017 20:22:12 -0700
Source: spin
Binary: spin
Architecture: source amd64
Version: 6.4.5+dfsg-3
Distribution: unstable
Urgency: medium
Maintainer: Tom Lee <deb...@tomlee.co>
Changed-By: tony mancill <tmanc...@debian.org>
Description:
spin - formal software verification tool
Closes: 861021
Changes:
spin (6.4.5+dfsg-3) unstable; urgency=medium
.
* Add Replaces: for staden (<< 2.0.0+b11) (Closes: #861021)
Checksums-Sha1:
8cc6d2f766f4701cfdd29bb3a78994d3e1eca62d 1868 spin_6.4.5+dfsg-3.dsc
890369848eedf2f8e919921bdf6c73febb02fbfa 4032 spin_6.4.5+dfsg-3.debian.tar.xz
e28c32571733d5b3ad1247e5dd9aa4b975d356a8 349808
spin-dbgsym_6.4.5+dfsg-3_amd64.deb
a08f346fdc28586b8042227991bf9bb080f2c2cb 5701 spin_6.4.5+dfsg-3_amd64.buildinfo
de4354f7b607fd5e7dcf0c0574c01223446a0619 555906 spin_6.4.5+dfsg-3_amd64.deb
Checksums-Sha256:
46c25b655138318dad191a72f25409fdb674bef64eea54ef8d6380d21d40d4c6 1868
spin_6.4.5+dfsg-3.dsc
f874e751051119b055a659f4c0ea91067f9da1142871014cee8dbfb3c3de73cc 4032
spin_6.4.5+dfsg-3.debian.tar.xz
db0153fbe9f987d7dbddfdf6ea97271518d4a89c2555880ca5d83ef1f01c58da 349808
spin-dbgsym_6.4.5+dfsg-3_amd64.deb
a6840f50fd45454fc951746c6cd453a114e8ca5976994f53a4293951c197942f 5701
spin_6.4.5+dfsg-3_amd64.buildinfo
cde95d953e572d390f5f8be043c0a9124d0c816c126001e887028969f853a6d5 555906
spin_6.4.5+dfsg-3_amd64.deb
Files:
35db837f9e7bedb35e7b0931d7a8b110 1868 devel optional spin_6.4.5+dfsg-3.dsc
e94bdd741812e7060de6b15da5a4ec83 4032 devel optional
spin_6.4.5+dfsg-3.debian.tar.xz
9f2de0f07bd761935276fb6ef05de14d 349808 debug extra
spin-dbgsym_6.4.5+dfsg-3_amd64.deb
f676140d44f7832f88f308125cdccb35 5701 devel optional
spin_6.4.5+dfsg-3_amd64.buildinfo
866a1452b9f256013da1f4b0a0b71564 555906 devel optional
spin_6.4.5+dfsg-3_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJIBAEBCgAyFiEE5Qr9Va3SequXFjqLIdIFiZdLPpYFAlkAGLMUHHRtYW5jaWxs
QGRlYmlhbi5vcmcACgkQIdIFiZdLPpZEoRAAsFVpGmYT4EOAOxvb7ebRLKjHtbO0
w3BLgAul9ph4GYAfZfK81+vY1j1MGWMbhlcjv0+SPUm7C08+2x7Grcard/vBvJkD
GOuybVb7KhWvMUw8xShIhb5l6DfTNT8pvfRX43t6XXWjTkyoOhemxUq1NjYfdcfA
wFSBFVzC/Z1GT626ULfPBw+whVN/6ziSIt4GyB88PANHxFgL6ZKUe7Cka1DAlnAz
MJtpfWw7zdrGp9jety/gVSYanYVRkGHL83cJPpY8aG/AzhH47IRBzanuFycaMjjo
Q7nvt2xLuom9b6eDJwoMxdXYWv7wdi4upcqJrlDGAGq4oEc10BK45g9DfCDtpf0W
lgZqErPEMpFKDbjOK3RrR2/yF0UpiJb9WDPZ0GkkcqjxLtMm55VvFR1wyAgHaVhm
1DwBtXZZSq98IB7sh4JWXcTsE0wayqEQddoVikvgqEclWXYE5hfmwThlJL3iqTYQ
Fp9bumjSrlf3hQgu8iV79JIHG/MyR922KdRAuS/TnQlNYnvmfsI3AXnITF+BXqK4
XXHVZsaRo7xxbyYexVjFGKpOP3msn32MnkeLN00uQt3oqUy6Lw0SYBBrqeXNewae
xtKOq4fJqNLT9MQxS837804EANzbcJn+wn/XQW9L98/pC/e5p9xz9pvYh6mvtjm4
pQOWerVUgIHE3cs=
=3zQc
-----END PGP SIGNATURE-----
--- End Message ---
