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
