linux-headers-manta software package provides Linux kernel headers for the Nexus10 (manta)., you can install in your Ubuntu 14.04 LTS (Trusty Tahr) by running the commands given below on the terminal,
$ sudo apt-get update $ sudo apt-get install linux-headers-manta
linux-headers-manta is installed in your system.
Make ensure the linux-headers-manta package were installed using the commands given below,
$ sudo dpkg-query -l | grep linux-headers-manta *
You will get with linux-headers-manta package name, version, architecture and description in a table
| Distro | Ubuntu 14 04 lts trusty tahr |
| Section | Development |
| Package | linux-headers-manta |
| Version | 3.4.0.6.5 |
| Description | Linux kernel headers for the Nexus10 (manta). |
| Sub Section | devel |