Wed, 11 Dec 2019 03:33:14 UTC

Information for file /usr/src/debug/frama-c-16.0-2.fc29.ppc64/src/kernel_internals/runtime/config.ml.in

Name/usr/src/debug/frama-c-16.0-2.fc29.ppc64/src/kernel_internals/runtime/config.ml.in
Digest (sha256)fbbfefa7d27f830f3b743abbee8d88fa9edd9d56c13f60c1cb16c22752c3cab0
Size3342
Modification timeFri, 13 Jul 2018 15:41:52 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMframa-c-debugsource-16.0-2.fc29.ppc64.rpm