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