exceptions dans /etc/apt/preferences

[Vincent Lefevre <vincent@vinc17.org>]

Dans /etc/apt/preferences, j'ai les priorités suivantes par défaut:

Package: *
Pin: release a=stable
Pin-Priority: 900

Package: *
Pin: release a=testing
Pin-Priority: 900

Package: *
Pin: release a=unstable
Pin-Priority: 200

Comment faire pour changer une priorité pour tel paquet?

Par exemple, j'ai essayé

Package: libpng2
Pin: release a=testing
Pin-Priority: 50

ainsi que

Package: libpng2
Pin: release v=1.0.12-6
Pin-Priority: 50

Mais dans les deux cas, apt-get dist-upgrade me propose d'installer

Inst libpng2 (1.0.12-6 Debian:testing)

J'aimerais rester sur la version 1.0.12-3.woody.3, car la 1.0.12-6
a un trou de sécurité, et ceci jusqu'à ce que je puisse upgrader à
1.0.12-8 ou >.

-- 
Vincent Lefèvre <vincent@vinc17.org> - Web: <http://www.vinc17.org/> - 100%
validated (X)HTML - Acorn Risc PC, Yellow Pig 17, Championnat International
des Jeux Mathématiques et Logiques, TETRHEX, etc.
Work: CR INRIA - computer arithmetic / SPACES project at LORIA