Ok, I took a shortcut. I booted a livecd and I mounted the / partition of the laptop. Then I downloaded the following files:
libc6_2.9-27_amd64.deb libc6-dev_2.9-27_amd64.deb libc6-i386_2.9-27_amd64.deb and unpacked them in the newly mounted directory: $ dpkg-deb -X /tmp/where/the/root/is/mounted The system now boots normally. I reinstalled the three aforementioned debs, had to do some cleanup (installing the correct versions of libc-bin, libc-dev-bin and locales) and then rebooted. The system is now back to normal. So I am afraid the problem is in libc6-2.10.1-2. I hope this helps other who have this problem, it's not clean but it works. -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
