This package provides kernel header files for version 4.13.0 on 64 bit x86 SMP.

This is for sites that want the latest kernel headers. Please read /usr/share/doc/linux-headers-4.13.0-17/debian.README.gz for details.