package proofgeneral-doc 3.7-4 failed to install/upgrade: trying to overwrite '/usr/share/info/proofgeneral.info.gz', which is also in package proofgeneral 3.7-4

[Magnus Jonsson]

Some problem after upgrading packages and rebooting

ProblemType: Package
DistroRelease: Ubuntu 12.10
Package: proofgeneral-doc 3.7-4
ProcVersionSignature: Ubuntu 3.2.0-26.41-generic 3.2.19
Uname: Linux 3.2.0-26-generic x86_64
ApportVersion: 2.0.1-0ubuntu10
Architecture: amd64
Date: Sat Jul 14 10:38:42 2012
Dependencies:

DuplicateSignature:
 Unpacking replacement proofgeneral-doc ...
 dpkg: error processing /var/cache/apt/archives/proofgeneral-doc_4.2~pre120605-1_all.deb (--unpack):
  trying to overwrite '/usr/share/info/proofgeneral.info.gz', which is also in package proofgeneral 3.7-4
ErrorMessage: trying to overwrite '/usr/share/info/proofgeneral.info.gz', which is also in package proofgeneral 3.7-4
PackageArchitecture: all
SourcePackage: proofgeneral
Title: package proofgeneral-doc 3.7-4 failed to install/upgrade: trying to overwrite '/usr/share/info/proofgeneral.info.gz', which is also in package proofgeneral 3.7-4
UpgradeStatus: Upgraded to quantal on 2012-06-22 (23 days ago)

[Sasa Paporovic (melchiaros)]

Hi Magnus,

I have checked for the actual package of proofgeneral and associated and have just seen that proofgeneral 4.2.x is now on quantal.

The common workflow is to bring such bugs like you hae to the packager or to the upstream project, but I can't come to them with a bug on a obsolete version.

Could you retest with the 4.2.x version on quantal and report back.

 When the error is still there, please set the status of the bug back to new and I do further handling, when it is gone choose Fix released.

Thank you in advance

melchiaros

Please make sure that the proposed repositories for quantal are enabled(update-manager -> settings -> proposed upgrades)

[Sasa Paporovic (melchiaros)]

I have tested by my own. Proofgeneral is installable.

Please run on your system from terminal

sudo apt-get update

and then

sudo apt-get dist-upgrade -f

when there are any package trouble still arround the -f option should apt enable to fix them by itself. The dist-upgrade makes sure that only those packages are kept back that are absolutely incompatible. It also installs the latest kernels for quantal.

When there is still a problem on your system, please set this report back to new.