On Tue, 2006-02-14 at 16:54 +0100, Stefan Schmitt wrote: > Is this the supposed behavior of apt-get or just a bug? Since nobody objected, I'll file it as a bug. Stefan