debian multimedia のパッケージ更新の優先度を下げる方法

/etc/apt/prefernces を下記のようにした。


Package: ffmpeg* lib* mpv* rtmpdump vdpau-va-driver vlc*
Pin: origin "ftp.kaist.ac.kr"
Pin-Priority: -1

Package: lib*:i386
Pin: origin "ftp.kaist.ac.kr"
Pin-Priority: -1

Package: *
Pin: release n=jessie
Pin-Priority: 700

Package: *
Pin: release n=stretch
Pin-Priority: 750

Package: *
Pin: release n=stretch/updates
Pin-Priority: 780


debian-multimedia のパッケージが必要なのは、ほぼ flashplayer-mozilla のためだけなのだが
Debian の Official パッケージと同名のもので何か更新があると
aptitude の更新可能パッケージに追加されてしまう。
これを避けるための方法を探していた。

Preference の指定については、いろいろなところで書かれている。書く順序も重要らしい。

i386 を指定する方法については、Debian の Bug 687255 を読んでわかった。
（ベースアーキテクチャは、amd64。）