tony wrote: ...
OK, add this to the end of your /etc/apt/preferences file Package: * Pin: release o=ubuntu,a=restricted Pin-Priority: 799
no that does not work; instead I use Package: * Pin: release a=hoary Pin-Priority: 799