Information for file /usr/lib64/opamroot/ocaml-system/lib/goblint/common/cilfacade.cmi
| Name | /usr/lib64/opamroot/ocaml-system/lib/goblint/common/cilfacade.cmi |
|---|---|
| Digest (sha256) | 5e0fb733085d6fa77903a4861137b5eb958d28c020dcd75fb9ab0a810858ba16 |
| Size | 53.64 KB |
| Modification time | Fri, 19 Sep 2025 17:08:39 UTC |
| User | root |
| Group | wheel |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | xs-opam-repo-6.91.0-1.1.xcpng8.3.x86_64.rpm |
