Sat, 07 Dec 2019 09:13:00 UTC

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

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