Нужны ли linux-libc-dev и libc6-dev?

Я удалил запас 3.8.0-19-generic kernel (и мета-пакеты для ядра ubuntu) и установил ядро ​​main 3.9, мне нужны эти 2 пакета или я могу их удалить?

~$ apt-cache policy linux-libc-dev
linux-libc-dev:
  Installed: 3.8.0-19.29
  Candidate: 3.8.0-19.30
  Version table:
     3.8.0-19.30 0
        500 http://us.archive.ubuntu.com/ubuntu/ raring-updates/main amd64 Packages
        500 http://security.ubuntu.com/ubuntu/ raring-security/main amd64 Packages
 
***
 3.8.0-19.29 0
        500 http://us.archive.ubuntu.com/ubuntu/ raring/main amd64 Packages
        100 /var/lib/dpkg/status
~$ apt-cache policy libc6-dev
libc6-dev:
  Installed: 2.17-0ubuntu5
  Candidate: 2.17-0ubuntu5
  Version table:
 
***
 2.17-0ubuntu5 0
        500 http://us.archive.ubuntu.com/ubuntu/ raring/main amd64 Packages
        100 /var/lib/dpkg/status

Я полностью удалил (ака очищен) все из них: linux-generic linux-image-generic linux-headers-generic linux-image-extra-3.8.0-19-generic linux-image-3.8.0-19-generic linux-headers-3.8.0-19-generic linux-headers-3.8.0-19