fedora

Information for RPM frama-c-30.0-6.rvre0.fc42.src.rpm

ID13731
Buildframa-c-30.0-6.rvre0.fc42
Nameframa-c
Version30.0
Release6.rvre0.fc42
Epoch
Archsrc
DraftFalse
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 Time2025-04-04 07:59:55 GMT
Size21.13 MB
b50e959efc361c266eee358eb59310fd
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
Provides
frama-c = 30.0-6.rvre0.fc42
frama-c-doc = 30.0-6.rvre0.fc42
frama-c-emacs = 30.0-6.rvre0.fc42
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
alt-ergo
clang
desktop-file-utils
doxygen
emacs-nw
fdupes
flamegraph
graphviz
libappstream-glib
make
ocaml >= 4.14.0
ocaml-apron-devel
ocaml-dune >= 3.13.0
ocaml-dune-configurator-devel
ocaml-dune-site-devel >= 3.13.0
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 23 of 23
Name ascending sort Size
acsl-implementation-30.0-Zinc.pdf1.20 MB
acsl.el66.00 B
aorai-manual-30.0-Zinc.pdf541.63 KB
com.frama-c.frama-c-gui.desktop184.00 B
com.frama-c.frama-c-gui.metainfo.xml2.11 KB
e-acsl-implementation-30.0-Zinc.pdf539.08 KB
e-acsl-manual-30.0-Zinc.pdf578.51 KB
eva-manual-30.0-Zinc.pdf1.69 MB
frama-c-30.0-Zinc-api.tar.gz4.63 MB
frama-c-30.0-Zinc.tar.gz7.67 MB
frama-c-bytes.patch681.00 B
frama-c-c23.patch5.21 KB
frama-c-icons.tar.xz32.96 KB
frama-c-mathlib.patch544.00 B
frama-c-server-30.0-Zinc-api.tar.gz140.00 KB
frama-c-why3.1.8.0.patch2.32 KB
frama-c.licensing1.37 KB
frama-c.spec32.46 KB
metrics-manual-30.0-Zinc.pdf601.77 KB
plugin-development-guide-30.0-Zinc.pdf1.16 MB
rte-manual-30.0-Zinc.pdf494.94 KB
user-manual-30.0-Zinc.pdf1.61 MB
wp-manual-30.0-Zinc.pdf1.08 MB
Component of No Buildroots