_ Vagrantを使おうと思ってインストールしていたVagrantプラグインをアップデートすると、vagrant-libvirtのアップデートでコケてしまう。
不思議に思って調べてみるとHashi Corp版とDebian配布版のバージョンが2.2.19と並んでかつ、debパッケージのバージョンがHashi Corp版が2.2.19、Debian配布版が2.2.19+dfsg-1となったためにDebian配布版が優先されて入れ替わっていた。
これはちょっとたまらないので/etc/apt/preferences.d/にvagrantというファイル名で下のような内容のファイルを作ってHashi corp版debパッケージを優先するようにした。
Package: vagrant
Pin: origin apt.releases.hashicorp.com
Pin-Priority: 990
aptのpinningについては過去にも書いたし、Debianリファレンスとか見てください。