Tue, 19 Nov 2019 04:37:52 UTC

Information for file /usr/src/debug/frama-c-19.0-2.fc31.i386/src/kernel_internals/runtime/boot.ml

Name/usr/src/debug/frama-c-19.0-2.fc31.i386/src/kernel_internals/runtime/boot.ml
Digest (sha256)7df83ed0a19a4b8a60669750db6c01ec001f493fa6565e3ff6020b2a72010b84
Size3681
Modification timeFri, 21 Jun 2019 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMframa-c-debugsource-19.0-2.fc31.i686.rpm