Hello,
I think that libc6-dev shouldn't depend upon linux-kernel-headers
because a lot of people has a kernel downloaded from kernel.org.
Thank you,
    Pedro
-- 
Pedro Martínez Juliá
\  yoros@terra.es
)|    yoros@wanadoo.es
/        http://yoros.dyndns.org
Socio HispaLinux #311
Usuario Linux #275438 - http://counter.li.org
GnuPG public information:  pub  1024D/74F1D3AC
Key fingerprint = 8431 7B47 D2B4 5A46 5F8E  534F 588B E285 74F1 D3AC