The package in your case is "linux-headers-3.13.9-generic". Here's how you find out the package that a file belongs to http://superuser.com/questions/10997/find-what-package-a-file-belongs-to-in-ubuntu-debian .
The package in your case is "linux- headers- 3.13.9- generic" . Here's how you find out the package that a file belongs to http:// superuser. com/questions/ 10997/find- what-package- a-file- belongs- to-in-ubuntu- debian .