Linux kernel headers for version 3.13.0 on ARM (hard float) SMP

 This package provides kernel header files for version 3.13.0 on
 ARM (hard float) SMP.
 .
 This is for sites that want the latest kernel headers. Please read
 /usr/share/doc/linux-headers-3.13.0-117/debian.README.gz for details.