|
 |
 |
 |
frama-c-doc rpm build for : Fedora 38. For other distributions click frama-c-doc.
Name : frama-c-doc
| | Version : 26.1
| Vendor : Fedora Project
| Release : 2.fc38
| Date : 2023-10-18 18:39:05
| Group : Unspecified
| Source RPM : frama-c-26.1-2.fc38.src.rpm
| Size : 73.86 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/38/Everything/x86_64/Packages/f |
Content of RPM
Changelog
Provides
Requires
Provides : frama-c-doc
Requires :
Content of RPM : /usr/share/doc/frama-c
/usr/share/doc/frama-c/README.dive.md
/usr/share/doc/frama-c/README.e-acsl
/usr/share/doc/frama-c/README.instantiate.md
/usr/share/doc/frama-c/README.loop-analysis.org
/usr/share/doc/frama-c/README.markdown-report.md
/usr/share/doc/frama-c/README.nonterm.md
/usr/share/doc/frama-c/acsl-implementation-26.1-Iron.pdf
/usr/share/doc/frama-c/aorai-manual-26.1-Iron.pdf
/usr/share/doc/frama-c/e-acsl-implementation-26.1-Iron.pdf
/usr/share/doc/frama-c/e-acsl-manual-26.1-Iron.pdf
/usr/share/doc/frama-c/eva-manual-26.1-Iron.pdf
/usr/share/doc/frama-c/frama-c-api
/usr/share/doc/frama-c/frama-c-api/frama-c
/usr/share/doc/frama-c/frama-c-api/frama-c-aorai
/usr/share/doc/frama-c/frama-c-api/frama-c-aorai/Aorai
/usr/share/doc/frama-c/frama-c-api/frama-c-aorai/Aorai/index.html
/usr/share/doc/frama-c/frama-c-api/frama-c-aorai/index.html
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/OUT
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/OUT/Datatype
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/OUT/Datatype/index.html
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/OUT/index.html
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Action
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Action/Datatype
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Action/Datatype/index.html
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Action/argument-1-X
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Action/argument-1-X/index.html
There is 12238 files more in these RPM.
|
|
|