Aujourd’hui, l’etch est passée de la v4.0r0 à la 4.0r1, il faut mettre à jour les preferences:
Package: *
Pin: release v=4.0r0,o=Debian,a=stable,l=Debian
Pin-Priority: XXXdevientPackage: *
Pin: release v=4.0r1,o=Debian,a=stable,l=Debian
Pin-Priority: XXX


