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)
** Changed in: proofgeneral (Ubuntu)
Status: New => Incomplete
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1024953
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
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/proofgeneral/+bug/1024953/+subscriptions
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
