This file is indexed.

/var/lib/ocaml/lintian/hol-light.info is in hol-light 20131026-1build1.

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: 20131026-1build1