installing gummi-gtk3 from PPA doesnt remove gummi so there is a error

[Achim Behrens]

ubuntu 14.10.
regular gummi installed and trying to install gummi-gtk3 form the PPA. The gummi-gtk3 package doesnt remove gummi so its a mismatch:

/var/cache/apt/archives/gummi-gtk3_0.7.1-1_amd64.deb (--unpack):
cant override »/usr/lib/x86_64-linux-gnu/gummi/latex_dvi.sh« since its already in package: gummi 0.6.5-3

ProblemType: Bug
DistroRelease: Ubuntu 14.10
Package: gummi 0.6.5-3
Uname: Linux 3.18.0-031800-generic x86_64
ApportVersion: 2.14.7-0ubuntu8.1
Architecture: amd64
CurrentDesktop: Unity
Date: Mon Feb 9 13:01:34 2015
InstallationDate: Installed on 2013-09-28 (499 days ago)
InstallationMedia: Ubuntu 13.10 "Saucy Salamander" - Beta amd64 (20130925.1)
SourcePackage: gummi
UpgradeStatus: Upgraded to utopic on 2014-10-15 (116 days ago)

[Boyuan Yang (hosiet)]

Unfortunately support for Ubuntu 14.10 has ceased. Besides, PPA is never supported by official Ubuntu package. As a result, marking this bug report as incomplete.

[Launchpad Janitor (janitor)]

[Expired for gummi (Ubuntu) because there has been no activity for 60 days.]