Fri, 22 Nov 2019 08:00:33 UTC

Information for file /usr/src/debug/frama-c-19.0-2.fc31.ppc64le/src/kernel_internals/typing/cabs2cil.ml

Name/usr/src/debug/frama-c-19.0-2.fc31.ppc64le/src/kernel_internals/typing/cabs2cil.ml
Digest (sha256)63e4913728934b0c56101a09280b79a8e506a5597ed1dae62160901527271be4
Size392971
Modification timeFri, 21 Jun 2019 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMframa-c-debugsource-19.0-2.fc31.ppc64le.rpm