Fri, 18 Oct 2019 19:48:38 UTC

Information for RPM frama-c-19.0-2.fc31.src.rpm

ID18547027
Nameframa-c
Version19.0
Release2.fc31
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 Time2019-08-02 18:24:25 GMT
Size21234228
cc8b539b32ff2b2dfa975d4902cbb739
LicenseLGPLv2 and GPLv2 and GPLv2+ and BSD and (QPL with exceptions)
Buildrootf31-build-17123347-1229325
Provides No Provides
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
alt-ergo
coq
desktop-file-utils
doxygen
emacs
graphviz
gtksourceview2-devel
libgnomecanvas-devel
libtool
ltl2ba
ocaml
ocaml-apron-devel
ocaml-biniou-devel
ocaml-easy-format-devel
ocaml-findlib-devel
ocaml-lablgtk-devel
ocaml-num-devel
ocaml-ocamldoc
ocaml-ocamlgraph-devel
ocaml-why3-devel
ocaml-yojson-devel
ocaml-zarith-devel
python3-devel
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
why3
xemacs-nox
xemacs-packages-base
z3
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 17 of 17
Name ascending sort Size
acsl-implementation-19.0-Potassium.pdf1340440
acsl.el66
aorai-manual-19.0-Potassium.pdf523410
e-acsl-manual-19.0-Potassium.pdf948911
eva-manual-19.0-Potassium.pdf1864497
frama-c-1.6.licensing665
frama-c-19.0-Potassium-api.tar.gz7296718
frama-c-19.0-Potassium.tar.gz5527507
frama-c-gui.appdata.xml1697
frama-c-gui.desktop184
frama-c-icons.tar.xz33748
frama-c.spec20551
metrics-manual-19.0-Potassium.pdf793103
plugin-development-guide-19.0-Potassium.pdf1423486
rte-manual-19.0-Potassium.pdf637065
user-manual-19.0-Potassium.pdf1384366
wp-manual-19.0-Potassium.pdf1387885
Component of No Buildroots