This file is indexed.

/usr/src/linux-source-3.13.0/debian/source/ is in linux-source-3.13.0 3.13.0-125.174.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/src/linux-source-3.13.0/debian/source/format text/plain root:root 0o644 4 bytes
/usr/src/linux-source-3.13.0/debian/source/options text/plain root:root 0o644 60 bytes