/var/lib/ocaml/md5sums/libaac-tactics-ocaml-dev.md5sums is in libaac-tactics-ocaml-dev 8.6.1-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 | 0a1fdb34d59fa65776a2c4a084d7cc5e Aac_rewrite libaac-tactics-ocaml-dev libaac-tactics-ocaml 8.6.1-1 tfsn1
3117a20642598a82f04da6cb5dffda20 Print libaac-tactics-ocaml-dev libaac-tactics-ocaml 8.6.1-1 tfsn1
6838ee0e56f94d8cf88eb15bebf82d42 Aac libaac-tactics-ocaml-dev libaac-tactics-ocaml 8.6.1-1 tfsn1
79ff5676aa9c279ac126492c534329f5 Theory libaac-tactics-ocaml-dev libaac-tactics-ocaml 8.6.1-1 tfsn1
83deae730fd505ff74cb55879d0cb4fe Aac libaac-tactics-ocaml-dev libaac-tactics-ocaml 8.6.1-1 tfsn1
919fb7d28e7fad10c50380af72576cbb Matcher libaac-tactics-ocaml-dev libaac-tactics-ocaml 8.6.1-1 tfsn1
c7e83307cfa21102b6f88fa634332f5d Search_monad libaac-tactics-ocaml-dev libaac-tactics-ocaml 8.6.1-1 tfsn1
e3cd92b8b3547be838534c0eed0bc05e Helper libaac-tactics-ocaml-dev libaac-tactics-ocaml 8.6.1-1 tfsn1
eae85478dd9f4229c7b249ca29f33b49 Coq libaac-tactics-ocaml-dev libaac-tactics-ocaml 8.6.1-1 tfsn1
|