Binary package “linux-headers-manta” in ubuntu trusty

Linux kernel headers for the Nexus10 (manta).

This package will always depend on the latest kernel headers available
for Nexus10 (manta).