This file is indexed.

/usr/share/mysql/docs/INFO_SRC is in mysql-server-5.7 5.7.11-0ubuntu6.

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
commit: e56856264e03400ce95946e655702f501d191837
date: 2016-02-01 22:06:03 +0100
build-date: 2016-02-02 00:32:31 +0100
short: e568562
branch: mysql-5.7.11-release

MySQL source 5.7.11