/var/lib/ocaml/md5sums/hol-light.md5sums 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 | 2b44924f7c157fb53084bb68802da049 Pa_j hol-light - 20131026-1build1 1tz95
7fefd4369a35008c44b05bb2da52671b Pa_f hol-light - 20131026-1build1 1tz95
|