A workaround is to edit /var/lib/dpkg/status and bump the installed version 
number. For instance for vmware-player, I edited to:
Version: 1:2.0.2-1~ppa5.0.1

Cedric, just move to something higher than that next version, please ;-)
And thanks a lot for the packaging.

Still it would be nice to have this bug fixed...

-- 
apt reinstalls same package from '~ppa1' again and again
https://bugs.launchpad.net/bugs/152317
You received this bug notification because you are a member of Ubuntu
Bugs, which is the bug contact for Ubuntu.

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to