Wed, 29 Jan 2020 14:26:53 UTC

Information for file /usr/share/doc/frama-c-doc/acsl-implementation-Neon-20140301.pdf

Name/usr/share/doc/frama-c-doc/acsl-implementation-Neon-20140301.pdf
Digest (sha256)b5d34ea3177f599ce5c8f655a2bd606c7a40b6ca3cb83cdcf4105c819b49fde4
Size1228460
Modification timeTue, 18 Mar 2014 15:18:59 UTC
Userroot
Grouproot
Mode-rw-rw-r--
Flags documentation
RPMframa-c-doc-1.10-24.fc22.noarch.rpm