Thu, 21 Nov 2019 18:23:23 UTC

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

Name/usr/src/debug/frama-c-19.0-2.fc31.i386/src/kernel_internals/runtime
Digest (sha256)
Size0
Modification timeFri, 02 Aug 2019 18:28:18 UTC
Userroot
Grouproot
Modedrwxr-xr-x
Flags
RPMframa-c-debugsource-19.0-2.fc31.i686.rpm