/var/lib/ocaml/md5sums/hol-light.md5sums is in hol-light 20170109-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1
89910ffecda654f236b342bcc12640ef Pa_j hol-light - 20170109-1 vxy78