Your message dated Sun, 15 Jan 2017 12:33:48 +0000
with message-id <[email protected]>
and subject line Bug#851104: fixed in frama-c 20161101+silicon+dfsg-5
has caused the Debian Bug report #851104,
regarding frama-c: fails to upgrade from 'jessie' - trying to overwrite
/usr/lib/frama-c/analyses_manager.cmi
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 [email protected]
immediately.)
--
851104: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=851104
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: frama-c
Version: 20161101+silicon+dfsg-4
Severity: serious
User: [email protected]
Usertags: piuparts
Control: found -1 20161101+silicon+dfsg-2
Hi,
during a test with piuparts I noticed your package fails to upgrade from
'jessie'.
It installed fine in 'jessie', then the upgrade to 'stretch'/'sid' fails
because it tries to overwrite other packages files without declaring a
Breaks+Replaces relation.
See policy 7.6 at
https://www.debian.org/doc/debian-policy/ch-relationships.html#s-replaces
>From the attached log (scroll to the bottom...):
Preparing to unpack .../frama-c_20161101+silicon+dfsg-4_amd64.deb ...
Unpacking frama-c (20161101+silicon+dfsg-4) over (20140301+neon+dfsg-3) ...
dpkg: error processing archive
/var/cache/apt/archives/frama-c_20161101+silicon+dfsg-4_amd64.deb (--unpack):
trying to overwrite '/usr/lib/frama-c/analyses_manager.cmi', which is also
in package frama-c-base 20140301+neon+dfsg-3
dpkg-deb: error: subprocess paste was killed by signal (Broken pipe)
Preparing to unpack .../frama-c-base_20161101+silicon+dfsg-4_amd64.deb ...
Unpacking frama-c-base (20161101+silicon+dfsg-4) over (20140301+neon+dfsg-3)
...
cheers,
Andreas
frama-c_20161101+silicon+dfsg-4.log.gz
Description: application/gzip
--- End Message ---
--- Begin Message ---
Source: frama-c
Source-Version: 20161101+silicon+dfsg-5
We believe that the bug you reported is fixed in the latest version of
frama-c, 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 [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Mehdi Dogguy <[email protected]> (supplier of updated frama-c 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 [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 15 Jan 2017 13:00:55 +0100
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source amd64
Version: 20161101+silicon+dfsg-5
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <[email protected]>
Changed-By: Mehdi Dogguy <[email protected]>
Description:
frama-c - Platform dedicated to the analysis of source code written in C
frama-c-base - Platform dedicated to the analysis of source code written in C
(w
Closes: 851104
Changes:
frama-c (20161101+silicon+dfsg-5) unstable; urgency=medium
.
* Add Breaks/Replaces frama-c-base (<= 20140301+neon+dfsg-3) to
frama-c (Closes: #851104)
Checksums-Sha1:
1d07c56da35a2e7660de9d58fdf066efc1c0de81 2408
frama-c_20161101+silicon+dfsg-5.dsc
cbe5a0c5043dce94e8f36dd0ed5412af76f22cc9 26904
frama-c_20161101+silicon+dfsg-5.debian.tar.xz
87c6491ca48b5168c48c398d67b8a03db9041185 1054358
frama-c-base-dbgsym_20161101+silicon+dfsg-5_amd64.deb
467132312c47554ad4c60343390a4d0295eb4a6c 19985076
frama-c-base_20161101+silicon+dfsg-5_amd64.deb
62d16908c99db2e95fd770b341b2e8134eeadd1d 1105508
frama-c-dbgsym_20161101+silicon+dfsg-5_amd64.deb
d1643d5e8d6b493fe5f4f259c2cce8eed2887c53 14868
frama-c_20161101+silicon+dfsg-5_amd64.buildinfo
87bc40ee33dc29c7d59086e51585356abd310a15 10607904
frama-c_20161101+silicon+dfsg-5_amd64.deb
Checksums-Sha256:
76a43db7b5d907008601a47f1b3768e102e74b388b2aa7312eb03b3f649210f6 2408
frama-c_20161101+silicon+dfsg-5.dsc
ce26cb525e28f9de9fc47a3654c2b22e7e0d32898dd636c3d5ee7f03a5729ca2 26904
frama-c_20161101+silicon+dfsg-5.debian.tar.xz
77fc61e7a57c6c299c62a1b9dfb133806445c5f4f5a8ee2c80b513d5cf9e9517 1054358
frama-c-base-dbgsym_20161101+silicon+dfsg-5_amd64.deb
bd897f5c70377d8db8b7cfc6fffd2e61bf5b73ae89a0c369d6f7fd6c51f2ebbd 19985076
frama-c-base_20161101+silicon+dfsg-5_amd64.deb
0417b0b714349e6842fb792a62cd17148af548dd8b7a2bc3e524d1cb27c3e39b 1105508
frama-c-dbgsym_20161101+silicon+dfsg-5_amd64.deb
f6871b0ef8765866f80499b30515925a634d57005fdb6ec04dc2540078f43f18 14868
frama-c_20161101+silicon+dfsg-5_amd64.buildinfo
db5088541e3535f7b991c8c6e1722f656ef2851a49a919f970426fb60e105833 10607904
frama-c_20161101+silicon+dfsg-5_amd64.deb
Files:
584ef86e00808312f4a0e83902677865 2408 devel optional
frama-c_20161101+silicon+dfsg-5.dsc
1323da3a0b43454da2c37a46327ab143 26904 devel optional
frama-c_20161101+silicon+dfsg-5.debian.tar.xz
da1ba0a17d6206689ce961d13bb420f0 1054358 debug extra
frama-c-base-dbgsym_20161101+silicon+dfsg-5_amd64.deb
cd5d67a9a1b2cfd86c9fe20f4e78be7b 19985076 devel optional
frama-c-base_20161101+silicon+dfsg-5_amd64.deb
66dd8a8ddde09ac432913fe1435890c5 1105508 debug extra
frama-c-dbgsym_20161101+silicon+dfsg-5_amd64.deb
38e3ef70aa4568140e54fcf6bcf3f899 14868 devel optional
frama-c_20161101+silicon+dfsg-5_amd64.buildinfo
163023cd249b7aa2cf1da9dcf8ca51db 10607904 devel optional
frama-c_20161101+silicon+dfsg-5_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJFBAEBCAAvFiEEvYOKK6r540CL2WRoM74aCowu2P8FAlh7Z60RHG1laGRpQGRl
Ymlhbi5vcmcACgkQM74aCowu2P8XCw/8Dn2ierbc4fp1s10kxYA65Nqb4pEB5FDH
bA15nFkonr4ZmQ5bHAc4l+8WAvA25PlSNR5HUFhGJUHXi7Pui60IBI1QIWSrCWcq
vnMOPYTMJwG71IvYWb53lipCOwmxLpLzNPbXU6Q1aijdewCG/L33RohDOtTreXsr
hsvqFKVlcQEpUE6YNN8crqy7bLiEByYR33x4Xk9TFha+c4k2VxJmYAF8KdhvLts/
C5xZrF0Dn5xLuwOTDgCg3W/Xh2p5eTlEo64GPNunppkqLRTWM6BwpjDaatVZnkqd
DDd1gwjXkoOIVl5Ry4kZ3DS789rMNNOYKIemzVDzVZZOjyKWG4FJiFkD1UnliF6g
+DqAdUks/O5DCS2nfuMOqMfmeA8yQH+1d2GWP2LuSBVNfFQyXo1g3kVKeSJlh9ap
vf8aYLjwqBqMc88Z60y8Mpjw5jELjsZL4Zbc17p5cLZXqySdcfuGSSFjovwsQjoV
nF+E6Euyi6LsG/ck0Qzq7jHXhpfvCRcr9GhgDe4RBQ898kPRVSoqHHNvgLoquNBP
3t9kPVdAzBXCtvZwPDvyN9gYTyDCiRYHd0dUYmDuMEQwMrB7SukblQYaDfQJSBpd
zUoFZOE4c5AHjHGVrKj+eB7HJXXMCDudvJAxa9EcFOBatEGzeCMmSN39dB7JLDqF
sxXquBG6gj4=
=kbs4
-----END PGP SIGNATURE-----
--- End Message ---
