Information for file /usr/lib64/opamroot/ocaml-system/lib/goblint-cil/pta/ptranal__Uref.cmi
| Name | /usr/lib64/opamroot/ocaml-system/lib/goblint-cil/pta/ptranal__Uref.cmi |
|---|---|
| Digest (sha256) | d9be8d9a023a111877cecca2065fcec3da84eb27d63713a4de89ffc7711f5054 |
| Size | 1.03 KB |
| Modification time | Wed, 19 Jun 2024 12:00:32 UTC |
| User | root |
| Group | wheel |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | xs-opam-repo-6.78.0-1.1.xcpng8.3.x86_64.rpm |
