I don't know the timing, but I wonder if it could be as simple as mirror skew.
Probably you are right. I did the right thing at the wrong time. And spent hours on searching a problem which didn't exist.
Nevertheless, thank you for your help. Flo. --To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
