frama-c-doc rpm build for : CentOS 7. For other distributions click frama-c-doc.
| Name : frama-c-doc
| |
| Version : 2.1
| Vendor : obs://build_opensuse_org/home:bayrepo
|
| Release : 2.9
| Date : 2018-05-29 11:55:32
|
| Group : Documentation
| Source RPM : frama-c-2.1-2.9.src.rpm
|
| Size : 105.07 MB
| |
| Packager : (none)
| |
| Summary : Large documentation files for frama-c
|
Description :
Large documentation files for frama-c.
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/home:/bayrepo/CentOS_7/noarch |
Content of RPM
Changelog
Provides
Requires
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
frama-c-doc
Requires :
Content of RPM :
/usr/share/doc/frama-c-doc-2.1
/usr/share/doc/frama-c-doc-2.1/acsl-implementation-Aluminium-20160501.pdf
/usr/share/doc/frama-c-doc-2.1/aorai-manual-Aluminium-20160501.pdf
/usr/share/doc/frama-c-doc-2.1/frama-c-api
/usr/share/doc/frama-c-doc-2.1/frama-c-api/callgraph
/usr/share/doc/frama-c-doc-2.1/frama-c-api/callgraph/Callgraph.Cg.html
/usr/share/doc/frama-c-doc-2.1/frama-c-api/callgraph/Callgraph.Options.Filename.html
/usr/share/doc/frama-c-doc-2.1/frama-c-api/callgraph/Callgraph.Options.Init_func.html
/usr/share/doc/frama-c-doc-2.1/frama-c-api/callgraph/Callgraph.Options.Services.html
/usr/share/doc/frama-c-doc-2.1/frama-c-api/callgraph/Callgraph.Options.Uncalled.html
/usr/share/doc/frama-c-doc-2.1/frama-c-api/callgraph/Callgraph.Options.Uncalled_leaf.html
/usr/share/doc/frama-c-doc-2.1/frama-c-api/callgraph/Callgraph.Options.html
/usr/share/doc/frama-c-doc-2.1/frama-c-api/callgraph/Callgraph.Services.html
/usr/share/doc/frama-c-doc-2.1/frama-c-api/callgraph/Callgraph.Uses.html
/usr/share/doc/frama-c-doc-2.1/frama-c-api/callgraph/Callgraph.html
/usr/share/doc/frama-c-doc-2.1/frama-c-api/callgraph/Callgraph.txt
/usr/share/doc/frama-c-doc-2.1/frama-c-api/callgraph/Callgraph_api.Graph.G.html
/usr/share/doc/frama-c-doc-2.1/frama-c-api/callgraph/Callgraph_api.Graph.html
/usr/share/doc/frama-c-doc-2.1/frama-c-api/callgraph/Callgraph_api.S.html
/usr/share/doc/frama-c-doc-2.1/frama-c-api/callgraph/Callgraph_api.Services.html
/usr/share/doc/frama-c-doc-2.1/frama-c-api/callgraph/Callgraph_api.html
/usr/share/doc/frama-c-doc-2.1/frama-c-api/callgraph/Cg.Graphviz_attributes.html
/usr/share/doc/frama-c-doc-2.1/frama-c-api/callgraph/Cg.html
/usr/share/doc/frama-c-doc-2.1/frama-c-api/callgraph/Cg_viewer.View.html
/usr/share/doc/frama-c-doc-2.1/frama-c-api/callgraph/Cg_viewer.html
/usr/share/doc/frama-c-doc-2.1/frama-c-api/callgraph/Cg_viewer.services_view-c.html
/usr/share/doc/frama-c-doc-2.1/frama-c-api/callgraph/Journalize.Make.html
/usr/share/doc/frama-c-doc-2.1/frama-c-api/callgraph/Journalize.html
/usr/share/doc/frama-c-doc-2.1/frama-c-api/callgraph/Options.Filename.html
/usr/share/doc/frama-c-doc-2.1/frama-c-api/callgraph/Options.Init_func.html
There is 4109 files more in these RPM.
