Sun, 17 Nov 2019 12:18:27 UTC

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

Name/usr/src/debug/frama-c-19.0-2.fc31.i386/src/kernel_internals/parsing/logic_preprocess.ml
Digest (sha256)ae4b2c80a2a87be6af7f781ca8d2bdd8b94b23ae2bf1ec511c85d8d2df7578ce
Size59536
Modification timeFri, 02 Aug 2019 18:24:06 UTC
Userroot
Grouproot
Mode-r--r--r--
Flags
RPMframa-c-debugsource-19.0-2.fc31.i686.rpm