Sun, 08 Dec 2019 08:00:30 UTC

Information for RPM frama-c-1.10-24.fc22.src.rpm

ID6490306
Nameframa-c
Version1.10
Release24.fc22
Epoch
Archsrc
SummaryFramework for source code analysis of C software
DescriptionFrama-C is a suite of tools dedicated to the analysis of the source code of software written in C. Frama-C gathers several static analysis techniques in a single collaborative framework. The collaborative approach of Frama-C allows static analyzers to build upon the results already computed by other analyzers in the framework. Thanks to this approach, Frama-C provides sophisticated tools, such as a slicer and dependency analysis.
Build Time2015-06-22 22:10:07 GMT
Size13707396
d564ae6b7667ea0a67b8a1971e3cd543
LicenseLGPLv2 and GPLv2 and GPLv2+ and BSD and (QPL with exceptions)
Buildrootf22-build-3565014-495154
Provides No Provides
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
alt-ergo
coq
desktop-file-utils
emacs
graphviz
gtksourceview2-devel
libgnomecanvas-devel
ltl2ba
ocaml
ocaml-findlib
ocaml-lablgtk-devel
ocaml-ocamldoc
ocaml-ocamlgraph-devel
ocaml-zarith-devel
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
why3
xemacs-nox
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 18 of 18
Name ascending sort Size
acsl-implementation-Neon-20140301.pdf1228460
acsl.el66
aorai-manual-Neon-20140301.pdf345637
frama-c-1.6.licensing665
frama-c-Neon-20140301.tar.gz3122492
frama-c-Neon-20140301_api.tar.gz5030476
frama-c-gui.appdata.xml1231
frama-c-gui.desktop184
frama-c-icons.tar.xz33748
frama-c-ocamlgraph.patch9334
frama-c-why3.patch5725
frama-c.spec16498
metrics-manual-Neon-20140301.pdf675400
plugin-development-guide-Neon-20140301.pdf1267012
rte-manual-Neon-20140301.pdf559023
user-manual-Neon-20140301.pdf1455202
value-analysis-Neon-20140301.pdf977711
wp-manual-Neon-20140301.pdf829944
Component of No Buildroots