Wed, 11 Dec 2019 04:18:02 UTC

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

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