Sun, 15 Dec 2019 20:56:33 UTC

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

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