RPM Fedora 23 frama-c-doc 1.11 noarch rpm

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

Name : frama-c-doc
Version : 1.11	Vendor : Fedora Project
Release : 9.fc23	Date : 2015-11-26 22:08:36
Group : Documentation	Source RPM : frama-c-1.11-9.fc23.src.rpm
Size : 97.58 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/23/i386/f

Content of RPM Changelog Provides Requires

Download
ftp.icm.edu.pl frama-c-doc-1.11-9.fc23.noarch.rpm

ftp.icm.edu.pl frama-c-doc-1.11-9.fc23.noarch.rpm

Provides :
frama-c-doc

Requires :

frama-c = 1.11-9.fc23

rpmlib(CompressedFileNames) <= 3.0.4-1

rpmlib(FileDigests) <= 4.6.0-1

rpmlib(PayloadFilesHavePrefix) <= 4.0-1

rpmlib(PayloadIsXz) <= 5.2-1

Content of RPM :
/usr/share/doc/frama-c-doc
/usr/share/doc/frama-c-doc/acsl-implementation-Sodium-20150201.pdf
/usr/share/doc/frama-c-doc/aorai-manual-Sodium-20150201.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.Project_name.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
There is 4173 files more in these RPM.