Sat, 18 Jan 2020 02:50:51 UTC

Information for file /usr/share/doc/frama-c-doc/frama-c-api/constant_propagation/modules.svg

Name/usr/share/doc/frama-c-doc/frama-c-api/constant_propagation/modules.svg
Digest (sha256)681be0f4c3aa830166b81d9eea0832129db4ecbf0fd1020b6c44cfe9b237aa0e
Size1750
Modification timeThu, 06 Mar 2014 16:23:20 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMframa-c-doc-1.10-24.fc22.noarch.rpm