[EMAIL PROTECTED] wrote: > On Wed, Sep 24, 2003 at 02:46:44PM +0200, J.H.M. Dassen (Ray) wrote: > > > > And /etc/apt/preferences? Sounds like they're using different pinning > > settings. > > serverA:~# cat /etc/apt/preferences > cat: /etc/apt/preferences: No such file or directory > > The same on server B. > Maybe it's pinned in /etc/apt/apt.conf on one of the servers?
Und wech, Manne
