These binary packages represent builds of the mainline or stable Linux kernel tree at the commit below:
v3.13.11.8 (67c6dbd9e5e5aa495127413a8ce5f7719ee266dc)
To obtain the source from which they are built fetch the commit below:
git://git.launchpad.net/~ubuntu-kernel-test/ubuntu/+source/linux/+git/mainline-crack v3.13.11.8
and apply the following patches on top in the order below:
0001-base-packaging.patch
0002-debian-changelog.patch
0003-configs-based-on-Ubuntu-3.13.0-37.64.patch
This is summarised in the SOURCES file included with these binaries.
For further information see: http://wiki.ubuntu.com/Kernel/MainlineBuilds