Thu, 12 Dec 2019 11:42:51 UTC

Information for file /usr/src/debug/frama-c-16.0-2.fc29.ppc64/src/kernel_internals/typing/cabs2cil.ml

Name/usr/src/debug/frama-c-16.0-2.fc29.ppc64/src/kernel_internals/typing/cabs2cil.ml
Digest (sha256)ad258aac8bd05af34cb5579b6c535b11d0fda59a7123427a9fcdab05ebfecefc
Size374887
Modification timeTue, 28 Nov 2017 15:33:32 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMframa-c-debugsource-16.0-2.fc29.ppc64.rpm