Mon, 16 Dec 2019 05:43:05 UTC

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

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