This file is indexed.

/var/lib/ocaml/lintian/hol-light.info is in hol-light 20170706-0ubuntu4.

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

The actual contents of the file can be viewed below.

1
2
Package: hol-light
Version: 20170706-0ubuntu4