Linux kernel headers for version 3.13.0 on 64-bit PowerPC SMP

 This package provides kernel header files for version 3.13.0 on
 64-bit PowerPC SMP.
 .
 This is for sites that want the latest kernel headers. Please read
 /usr/share/doc/linux-headers-3.13.0-128/debian.README.gz for details.