/usr/src/linux-source-3.13.0/debian.master/etc/getabis is in linux-source-3.13.0 3.13.0-55.94.
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 | repo_list=(
"http://archive.ubuntu.com/ubuntu/pool/main/l/linux"
"http://ports.ubuntu.com/ubuntu-ports/pool/main/l/linux"
"http://archive.ubuntu.com/ubuntu/pool/universe/l/linux"
"http://ports.ubuntu.com/ubuntu-ports/pool/universe/l/linux"
"http://ppa.launchpad.net/canonical-kernel-team/ppa/ubuntu/pool/main/l/linux"
)
package_prefixes linux-image linux-image-extra
getall armhf generic
getall armhf generic-lpae
getall amd64 generic lowlatency
getall i386 generic lowlatency
getall arm64 generic
getall ppc64el generic
# Ports arches and flavours.
getall powerpc powerpc-smp powerpc64-smp powerpc-e500 powerpc-e500mc powerpc64-emb
|