Tue, 14 Jan 2025 10:02:19 UTC | login

Information for RPM frama-c-29.0-6.fc41.src.rpm

ID1363628
Nameframa-c
Version29.0
Release6.fc41
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 Time2024-07-25 13:16:03 GMT
Size28.29 MB
245ef3b677899bad1fd7792dcb3f34e6
LicenseLGPL-2.1-only AND LGPL-2.1-or-later AND LGPL-2.0-only WITH OCaml-LGPL-linking-exception AND GPL-2.0-or-later AND CC0-1.0 AND CC-BY-SA-4.0 AND BSD-3-Clause AND QPL-1.0-INRIA-2004 WITH QPL-1.0-INRIA-2004-exception
git:https://git.frama-c.com/pub/frama-c.git
Buildrootf41-build-821775-152618
Provides
frama-c = 29.0-6.fc41
frama-c-doc = 29.0-6.fc41
frama-c-emacs = 29.0-6.fc41
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
alt-ergo
clang
desktop-file-utils
doxygen
emacs-nw
flamegraph
graphviz
libappstream-glib
make
ocaml >= 4.13.1
ocaml-apron-devel
ocaml-dune >= 3.7.0
ocaml-dune-configurator-devel
ocaml-dune-site-devel
ocaml-lablgtk3-devel >= 3.1.0
ocaml-lablgtk3-sourceview3-devel
ocaml-menhir >= 20181006
ocaml-mlmpfr-devel
ocaml-ocamlgraph-devel >= 2.1.0
ocaml-ppx-deriving-devel
ocaml-ppx-deriving-yaml-devel >= 0.2.0
ocaml-ppx-deriving-yojson-devel
ocaml-unionfind-devel >= 20220107
ocaml-why3-devel >= 1.7.1
ocaml-yaml-devel >= 3.0.0
ocaml-yojson-devel >= 2.0.1
ocaml-zarith-devel >= 1.9
ocaml-zmq-devel
pandoc
python3-devel
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
time
unix2dos
why3
yq
z3
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 21 of 21
Name ascending sort Size
acsl-implementation-29.0-Copper.pdf1.94 MB
acsl.el66.00 B
aorai-manual-29.0-Copper.pdf1.27 MB
com.frama-c.frama-c-gui.desktop184.00 B
com.frama-c.frama-c-gui.metainfo.xml2.11 KB
e-acsl-implementation-29.0-Copper.pdf1.27 MB
e-acsl-manual-29.0-Copper.pdf1.31 MB
eva-manual-29.0-Copper.pdf2.43 MB
frama-c-29.0-Copper-api.tar.gz4.53 MB
frama-c-29.0-Copper.tar.gz7.67 MB
frama-c-bytes.patch681.00 B
frama-c-icons.tar.xz32.96 KB
frama-c-mathlib.patch544.00 B
frama-c-server-29.0-Copper-api.tar.gz58.51 KB
frama-c.licensing1.37 KB
frama-c.spec30.33 KB
metrics-manual-29.0-Copper.pdf1.33 MB
plugin-development-guide-29.0-Copper.pdf1.90 MB
rte-manual-29.0-Copper.pdf1.23 MB
user-manual-29.0-Copper.pdf2.35 MB
wp-manual-29.0-Copper.pdf1.82 MB
Component of No Buildroots