Information for file /usr/src/debug/frama-c-16.0-2.fc29.ppc64/src/kernel_internals/typing/cabs2cil.ml
| Name | /usr/src/debug/frama-c-16.0-2.fc29.ppc64/src/kernel_internals/typing/cabs2cil.ml |
|---|---|
| Digest (sha256) | ad258aac8bd05af34cb5579b6c535b11d0fda59a7123427a9fcdab05ebfecefc |
| Size | 374887 |
| Modification time | Tue, 28 Nov 2017 15:33:32 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | frama-c-debugsource-16.0-2.fc29.ppc64.rpm |
