/var/lib/ocaml/md5sums/libwhy3-ocaml-dev.md5sums is in libwhy3-ocaml-dev 0.88.3-1ubuntu4.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 | 00942b383ba96e94ccd62a4b5f3352df Why3extract libwhy3-ocaml-dev - 0.88.3-1ubuntu4 d40s2
636345147becf78185c170c4edc4d130 Why3extract libwhy3-ocaml-dev - 0.88.3-1ubuntu4 d40s2
7cd6b192ba5a032857a81d859288a0b9 Why3 libwhy3-ocaml-dev - 0.88.3-1ubuntu4 d40s2
e7499da5a7cc97e2eddfc89fc36618b1 Why3 libwhy3-ocaml-dev - 0.88.3-1ubuntu4 d40s2
|