Bug#797695: frama-c: Fails to upgrade

To: submit@bugs.debian.org
Subject: Bug#797695: frama-c: Fails to upgrade
From: Kurt Roeckx <kurt@roeckx.be>
Date: Tue, 1 Sep 2015 18:48:33 +0200
Message-id: <[🔎] 20150901164833.GA22238@roeckx.be>
Reply-to: Kurt Roeckx <kurt@roeckx.be>, 797695@bugs.debian.org

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

Reply to:

Follow-Ups:
- Bug#797695: marked as done (frama-c: Fails to upgrade)
  - From: owner@bugs.debian.org (Debian Bug Tracking System)

Prev by Date: dose3_4.0.1-1_amd64.changes ACCEPTED into unstable
Next by Date: Bug#797696: RFP: why3
Previous by thread: dose3_4.0.1-1_amd64.changes ACCEPTED into unstable
Next by thread: Bug#797695: marked as done (frama-c: Fails to upgrade)
Index(es):
- Date
- Thread