Bug#797695: marked as done (frama-c: Fails to upgrade)
Your message dated Tue, 01 Sep 2015 17:49:02 +0000
with message-id <E1ZWpg6-0001Um-CR@franck.debian.org>
and subject line Bug#797695: fixed in frama-c 20150201+sodium+dfsg-2
has caused the Debian Bug report #797695,
regarding frama-c: Fails to upgrade
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 owner@bugs.debian.org
immediately.)
--
797695: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=797695
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: frama-c
Version: 20150201+sodium+dfsg-1
Severity: serious
Hi,
During upgrade I get:
Preparing to unpack .../frama-c_20150201+sodium+dfsg-1_amd64.deb ...
Unpacking frama-c (20150201+sodium+dfsg-1) over (20140301+neon+dfsg-3+b1) ...
dpkg: error processing archive /var/cache/apt/archives/frama-c_20150201+sodium+dfsg-1_amd64.deb (--unpack):
trying to overwrite '/usr/lib/frama-c/file_manager.cmi', which is also in package frama-c-base 20140301+neon+dfsg-3+b1
Kurt
--- End Message ---
--- Begin Message ---
Source: frama-c
Source-Version: 20150201+sodium+dfsg-2
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 797695@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Mehdi Dogguy <mehdi@debian.org> (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 ftpmaster@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 01 Sep 2015 19:34:32 +0000
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source amd64
Version: 20150201+sodium+dfsg-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Mehdi Dogguy <mehdi@debian.org>
Description:
frama-c - Framework for source code analysis of software written in C
frama-c-base - Framework for C source code analysis (without gui)
Closes: 797695
Changes:
frama-c (20150201+sodium+dfsg-2) unstable; urgency=medium
.
* frama-c package must Breaks/Replaces older frama-c-base package
(<< 20150201+sodium+dfsg-1~) since files were moved from the
latter to the former (Closes: #797695).
* Do not try to install plugins on bytecode architectures since they
are provided only on native architectures. This is needed to fix
FTBFS on bytecode architectures.
Checksums-Sha1:
c92f82ac68278f786bee77d05af4ca35b85b6ec7 2313 frama-c_20150201+sodium+dfsg-2.dsc
b03c2695dc0bacd853235db90c9b5a6c9b5a8d0f 23432 frama-c_20150201+sodium+dfsg-2.debian.tar.xz
c9ede70c000856c69c2e123e17d90a00f5426f25 17671830 frama-c-base_20150201+sodium+dfsg-2_amd64.deb
176dbdf705cb87e6109bda857929330a3af9dc1d 7276572 frama-c_20150201+sodium+dfsg-2_amd64.deb
Checksums-Sha256:
8bf7bd6958a78c44723655a40d55a02660981a8ddce4e21381faa819974952f1 2313 frama-c_20150201+sodium+dfsg-2.dsc
f2898efc06f4b7e0901fba2ea3db7aef895077d38eefb833c255fce42cf298ea 23432 frama-c_20150201+sodium+dfsg-2.debian.tar.xz
59367b0d8925417b53926e1a585bb493d51c28e75b8806bf662ec6e08cf4c262 17671830 frama-c-base_20150201+sodium+dfsg-2_amd64.deb
1b18098b7bbdceafb54786d16033225b0548452c942abb0c017b390c1a36115a 7276572 frama-c_20150201+sodium+dfsg-2_amd64.deb
Files:
6d06b3154f9372e9182442364502415b 2313 devel optional frama-c_20150201+sodium+dfsg-2.dsc
d938121e6f55844e98f0411967b2f5a3 23432 devel optional frama-c_20150201+sodium+dfsg-2.debian.tar.xz
8ccb6fa212afa0325dc900f36f6b5208 17671830 devel optional frama-c-base_20150201+sodium+dfsg-2_amd64.deb
94ccc8da11e6c3e6c78c9a6fdf1e79b5 7276572 devel optional frama-c_20150201+sodium+dfsg-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJV5f/EAAoJEDO+GgqMLtj/O3cP/AuHyo1WrgO84DiEwc/NBBdf
ESJnVD40aNbEqa0xV6XNRYrP6pENIZlHM1LUBR8DFyH9rAiITsBT7aYqYQxsMJ0j
EvM/TCmVbSjxo3BnMBV37radUgGpbyVprczsDmsYXaVrFogyUOw1OytlO1Xq77LJ
EIDRHbexfUeP2DFDjBWEyz1YHWqTwcGw1pnSx2ox/zV9rYzKYd1sNjXPsQE3RFgo
zTAFl1sNTWcEDiMP0syO4Kw2MyCoPpPH9ubxndihWzLhR0c4KznVrKyK6/RMbrjo
1Y/ysdq6SATWVfW7YzJn4u3KVmP/cLslKtSINhrnmXgMZ1hza6r7G6PaWjzI8/uM
3N9bcVjE/y6PUaJmTnRI6qKwo67klNNhFJ22PGJJeF3Xar7OkbOWAt1e1OGpeiVH
3FYpi3fzDXxqMoEwUTyntSAXXDzOsuUcq0eaqa0mcNrQtrMtfdhtI8MEz1IBRBuO
db6R6yJafJNHIzdFhk7y09iBPkekn4Nbon2ZonWzMwFI9hcizrvPYN6GbOXgIeVf
dPiuRHMCs6rmol44C+FIfq/umUeIfU8732kJc+2sibm9R1RcLWapYGMC54fBq8TZ
PmFqGbgrXydFu/St8lh23oz1qCD4yhC2taZW+ZjrdrGlpLAPheOy3thHypiKIHct
T55+yD4+ERIvWmTj+6vS
=L0v9
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: