For information, the "ppa-purge" package allows to remove a PPA and downgrade its packages.
This could easily be re-used into the Software Center to solve this bug ! -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/625628 Title: Removing a repository does not propose to downgrade/remove its packages -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
