Sun, 17 Nov 2019 01:45:41 UTC

Information for file /usr/src/debug/frama-c-19.0-2.fc31.ppc64le/src/kernel_services/abstract_interp/float_interval.ml

Name/usr/src/debug/frama-c-19.0-2.fc31.ppc64le/src/kernel_services/abstract_interp/float_interval.ml
Digest (sha256)a626d6cdc6b0930fc842c79047c6f100a4fb50e05717636c7e886e7a387729c9
Size45800
Modification timeFri, 21 Jun 2019 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMframa-c-debugsource-19.0-2.fc31.ppc64le.rpm