/var/lib/ocaml/md5sums/hol-light.md5sums 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 | 111dda4156eca9a0e9dcc105354ec1f4 Pa_j hol-light - 20170706-0ubuntu4 2osw9
|