RPM Fedora 20 frama-c-doc 1.10 noarch rpm

frama-c-doc rpm build for : Fedora 20. For other distributions click frama-c-doc.

Name : frama-c-doc
Version : 1.10	Vendor : Fedora Project
Release : 5.fc20	Date : 2014-06-27 17:47:07
Group : Documentation	Source RPM : frama-c-1.10-5.fc20.src.rpm
Size : 104.73 MB
Packager : Fedora Project
Summary : Large documentation files for frama-c
Description : Large documentation files for frama-c.
RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/20/i386

Content of RPM Changelog Provides Requires

Download
ftp.icm.edu.pl frama-c-doc-1.10-5.fc20.noarch.rpm

ftp.icm.edu.pl frama-c-doc-1.10-5.fc20.noarch.rpm

Provides :
frama-c-doc

Requires :

rpmlib(PayloadIsXz) <= 5.2-1

rpmlib(FileDigests) <= 4.6.0-1

rpmlib(CompressedFileNames) <= 3.0.4-1

rpmlib(PayloadFilesHavePrefix) <= 4.0-1

frama-c = 1.10-5.fc20

Content of RPM :
/usr/share/doc/frama-c-doc
/usr/share/doc/frama-c-doc/acsl-implementation-Neon-20140301.pdf
/usr/share/doc/frama-c-doc/aorai-manual-Neon-20140301.pdf
/usr/share/doc/frama-c-doc/frama-c-api
/usr/share/doc/frama-c-doc/frama-c-api/constant_propagation
/usr/share/doc/frama-c-doc/frama-c-api/constant_propagation/Constant_Propagation.txt
/usr/share/doc/frama-c-doc/frama-c-api/constant_propagation/Datatype.Hashtbl.Key.html
/usr/share/doc/frama-c-doc/frama-c-api/constant_propagation/Datatype.Hashtbl.Make.html
/usr/share/doc/frama-c-doc/frama-c-api/constant_propagation/Datatype.Map.Key.html
/usr/share/doc/frama-c-doc/frama-c-api/constant_propagation/Datatype.Map.Make.html
/usr/share/doc/frama-c-doc/frama-c-api/constant_propagation/Datatype.S_with_collections.Hashtbl.html
/usr/share/doc/frama-c-doc/frama-c-api/constant_propagation/Datatype.S_with_collections.Map.html
/usr/share/doc/frama-c-doc/frama-c-api/constant_propagation/Datatype.S_with_collections.Set.html
/usr/share/doc/frama-c-doc/frama-c-api/constant_propagation/File.check_file-c.html
/usr/share/doc/frama-c-doc/frama-c-api/constant_propagation/PropagationParameters.CastIntro.html
/usr/share/doc/frama-c-doc/frama-c-api/constant_propagation/PropagationParameters.ExpandLogicContext.html
/usr/share/doc/frama-c-doc/frama-c-api/constant_propagation/PropagationParameters.SemanticConstFold.html
/usr/share/doc/frama-c-doc/frama-c-api/constant_propagation/PropagationParameters.SemanticConstFolding.html
/usr/share/doc/frama-c-doc/frama-c-api/constant_propagation/PropagationParameters.html
/usr/share/doc/frama-c-doc/frama-c-api/constant_propagation/Register.FC_file.html
/usr/share/doc/frama-c-doc/frama-c-api/constant_propagation/Register.Result.html
/usr/share/doc/frama-c-doc/frama-c-api/constant_propagation/Register.Result_pair.html
/usr/share/doc/frama-c-doc/frama-c-api/constant_propagation/Register.html
/usr/share/doc/frama-c-doc/frama-c-api/constant_propagation/Register.propagate-c.html
/usr/share/doc/frama-c-doc/frama-c-api/constant_propagation/index.html
/usr/share/doc/frama-c-doc/frama-c-api/constant_propagation/index_attributes.html
/usr/share/doc/frama-c-doc/frama-c-api/constant_propagation/index_class_types.html
/usr/share/doc/frama-c-doc/frama-c-api/constant_propagation/index_classes.html
/usr/share/doc/frama-c-doc/frama-c-api/constant_propagation/index_exceptions.html
/usr/share/doc/frama-c-doc/frama-c-api/constant_propagation/index_methods.html
There is 4205 files more in these RPM.