Sat, 14 Dec 2019 02:16:27 UTC

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

Name/usr/src/debug/frama-c-16.0-2.fc29.ppc64/src/kernel_services/abstract_interp/int_Intervals.ml
Digest (sha256)e0a079aa0fef77392ba3e9b7a0b06f439c07ae59944572e76a770e5b5811562d
Size1718
Modification timeTue, 28 Nov 2017 15:33:26 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMframa-c-debugsource-16.0-2.fc29.ppc64.rpm