Thu, 05 Dec 2019 17:43:35 UTC

Information for file /usr/src/debug/frama-c-16.0-2.fc29.ppc64/src/kernel_services/abstract_interp/lattice_messages.ml

Name/usr/src/debug/frama-c-16.0-2.fc29.ppc64/src/kernel_services/abstract_interp/lattice_messages.ml
Digest (sha256)55ad615ac5769be4e531d67a2c9c9bd12acbabf6a06bf6466672e24a0bd1edce
Size2448
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