PPAで導入したライブラリが消せなくて困っていた

padoka ppaを導入していたのですが不具合を起こしたのでしばらく前に削除しました。
このとき一般的な削除法方がうまく行かず可能なライブラリのみ手動削除し更新パッケージの取得先URLをリストから削除していたため一部のライブラリはそのまま残っていました。
そしてあるとき apt dist-upgrade を掛けたら XなどのGUIなどを含めごっそり削除されてしまいました。そこでsudo apt install xubuntu-desktopを入れれば解決するだろうと思っていたのですがpadoka ppaの残っていたライブラリが依存関係の邪魔をするようでインストールできません。そこでたどり着いたのが

sudo dpkg -P --force-all libglapi-mesa

です。libglapi-mesaが残っていたライブラリの一例です。dpkg -P --force-allの良いところは依存関係を無視して削除し、apt removeなどとは違って依存関係にある他のライブラリを巻き込んで削除しないところです。

そして再導入するには

apt download パッケージ名
sudo dpkg -i ダウンロードしたファイル名

 で完了です。