Sun, 17 Nov 2019 14:29:04 UTC

Information for file /usr/src/debug/frama-c-19.0-2.fc31.ppc64le/src/kernel_internals/runtime/config.ml.in

Name/usr/src/debug/frama-c-19.0-2.fc31.ppc64le/src/kernel_internals/runtime/config.ml.in
Digest (sha256)d279563965e6e82e6ffceff19491e0f722d03193475ec8b8a5e9dda776ad19b3
Size3902
Modification timeFri, 02 Aug 2019 18:25:09 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMframa-c-debugsource-19.0-2.fc31.ppc64le.rpm