Information for file /usr/lib64/opamroot/ocaml-system/lib/goblint/cdomain/value/analyses
| Name | /usr/lib64/opamroot/ocaml-system/lib/goblint/cdomain/value/analyses |
|---|---|
| Digest (sha256) | |
| Size | 41.00 B |
| Modification time | Tue, 27 May 2025 13:53:29 UTC |
| User | root |
| Group | wheel |
| Mode | drwxrwxr-x |
| Flags | |
| RPM | xs-opam-repo-6.87.0.qcow-1.0.qcow2.1.xcpng8.3.x86_64.rpm |
