Fri, 24 Jan 2020 23:02:56 UTC

Information for file /usr/share/doc/frama-c-doc/frama-c-api/constant_propagation/Constant_Propagation.txt

Name/usr/share/doc/frama-c-doc/frama-c-api/constant_propagation/Constant_Propagation.txt
Digest (sha256)46b7cf101ef6234b081d26113d5ca85e10b8a8a652f7d284ac322e916e7156c4
Size498
Modification timeThu, 06 Mar 2014 16:23:19 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMframa-c-doc-1.10-24.fc22.noarch.rpm