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

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