/usr/src/linux-source-3.13.0/debian.master/d-i/kernel-versions is in linux-source-3.13.0 3.13.0-35.62.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 | # arch version flavour installedname suffix bdep
amd64 3.13.0-35 generic 3.13.0-35-generic -
i386 3.13.0-35 generic 3.13.0-35-generic -
armhf 3.13.0-35 generic 3.13.0-35-generic -
armhf 3.13.0-35 generic-lpae 3.13.0-35-generic-lpae -
arm64 3.13.0-35 generic 3.13.0-35-generic -
ppc64el 3.13.0-35 generic 3.13.0-35-generic -
# Ports
# arch version flavour installedname suffix bdep
powerpc 3.13.0-35 powerpc-smp 3.13.0-35-powerpc-smp -
powerpc 3.13.0-35 powerpc64-smp 3.13.0-35-powerpc64-smp -
powerpc 3.13.0-35 powerpc-e500 3.13.0-35-powerpc-e500 -
powerpc 3.13.0-35 powerpc-e500mc 3.13.0-35-powerpc-e500mc -
|