Tue, 12 Nov 2019 16:28:42 UTC

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

Name/usr/src/debug/frama-c-19.0-2.fc31.i386/src/kernel_services
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