Fri, 15 Nov 2019 12:33:21 UTC

Information for file /usr/src/debug/frama-c-19.0-2.fc31.i386/src/kernel_internals/typing/infer_annotations.ml

Name/usr/src/debug/frama-c-19.0-2.fc31.i386/src/kernel_internals/typing/infer_annotations.ml
Digest (sha256)c3069dd1f0ee09ac4899fa447ee9e534d16d3d7e3ace8ddb7ba36cd650b5bdb3
Size10139
Modification timeFri, 21 Jun 2019 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMframa-c-debugsource-19.0-2.fc31.i686.rpm