Fri, 24 Jan 2020 22:34:44 UTC

Information for file /usr/share/doc/frama-c-doc/aorai-manual-Neon-20140301.pdf

Name/usr/share/doc/frama-c-doc/aorai-manual-Neon-20140301.pdf
Digest (sha256)53614e4de160470af7036cfcfd8eb25079b6fd890ab70e6041d1bc6797ed1d1d
Size345637
Modification timeTue, 18 Mar 2014 15:19:02 UTC
Userroot
Grouproot
Mode-rw-rw-r--
Flags documentation
RPMframa-c-doc-1.10-24.fc22.noarch.rpm