Wed, 20 Nov 2019 01:21:30 UTC

Information for file /usr/src/debug/frama-c-19.0-2.fc31.ppc64le/src/kernel_internals/typing/cfg.ml

Name/usr/src/debug/frama-c-19.0-2.fc31.ppc64le/src/kernel_internals/typing/cfg.ml
Digest (sha256)a320ce2949be40aad6fe561df418d573e94e10ff2c6a0f8a68f3a2db78f0dd1e
Size31145
Modification timeFri, 21 Jun 2019 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMframa-c-debugsource-19.0-2.fc31.ppc64le.rpm