Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Summary
Packages
Builds
Tasks
Tags
Build Targets
Users
Hosts
Reports
Search
API
Information for RPM
frama-c-doc-30.0-6.rvre0.fc42.noarch.rpm
ID
32571
Build
frama-c-30.0-6.rvre0.fc42
Name
frama-c-doc
Version
30.0
Release
6.rvre0.fc42
Epoch
Arch
noarch
Draft
False
Summary
Large documentation files for frama-c
Description
Large documentation files for frama-c.
Build Time
2025-04-04 08:06:35 GMT
Size
11.52 MB
SIGMD5
d3c5df43a26888504a4d39c370c76f72
License
LGPL-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
VCS
git:https://git.frama-c.com/pub/frama-c.git
Provides
frama-c-doc = 30.0-6.rvre0.fc42
Obsoletes
No Obsoletes
Conflicts
No Conflicts
Requires
frama-c = 30.0-6.rvre0.fc42
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
Recommends
No Recommends
Suggests
No Suggests
Supplements
No Supplements
Enhances
No Enhances
Files
Page:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
200
1 through 50 of 12661
>>>
Name
Size
/usr/share/doc/frama-c
0.00 B
/usr/share/doc/frama-c/README.dive.md
655.00 B
/usr/share/doc/frama-c/README.e-acsl
3.67 KB
/usr/share/doc/frama-c/README.instantiate.md
3.86 KB
/usr/share/doc/frama-c/README.loop-analysis.org
677.00 B
/usr/share/doc/frama-c/README.markdown-report.md
2.28 KB
/usr/share/doc/frama-c/README.nonterm.md
846.00 B
/usr/share/doc/frama-c/acsl-implementation-30.0-Zinc.pdf
1.20 MB
/usr/share/doc/frama-c/aorai-manual-30.0-Zinc.pdf
541.63 KB
/usr/share/doc/frama-c/e-acsl-implementation-30.0-Zinc.pdf
539.08 KB
/usr/share/doc/frama-c/e-acsl-manual-30.0-Zinc.pdf
578.51 KB
/usr/share/doc/frama-c/eva-manual-30.0-Zinc.pdf
1.69 MB
/usr/share/doc/frama-c/frama-c-api
0.00 B
/usr/share/doc/frama-c/frama-c-api/frama-c
0.00 B
/usr/share/doc/frama-c/frama-c-api/frama-c-alias
0.00 B
/usr/share/doc/frama-c/frama-c-api/frama-c-alias/Alias
0.00 B
/usr/share/doc/frama-c/frama-c-api/frama-c-alias/Alias/API
0.00 B
/usr/share/doc/frama-c/frama-c-api/frama-c-alias/Alias/API/Abstract_state
0.00 B
/usr/share/doc/frama-c/frama-c-api/frama-c-alias/Alias/API/Abstract_state/index.html
15.18 KB
/usr/share/doc/frama-c/frama-c-api/frama-c-alias/Alias/API/EdgeLabel
0.00 B
/usr/share/doc/frama-c/frama-c-api/frama-c-alias/Alias/API/EdgeLabel/index.html
3.00 KB
/usr/share/doc/frama-c/frama-c-api/frama-c-alias/Alias/API/Function
0.00 B
/usr/share/doc/frama-c/frama-c-api/frama-c-alias/Alias/API/Function/index.html
7.75 KB
/usr/share/doc/frama-c/frama-c-api/frama-c-alias/Alias/API/Statement
0.00 B
/usr/share/doc/frama-c/frama-c-api/frama-c-alias/Alias/API/Statement/index.html
8.14 KB
/usr/share/doc/frama-c/frama-c-api/frama-c-alias/Alias/API/index.html
23.35 KB
/usr/share/doc/frama-c/frama-c-api/frama-c-alias/Alias/Analysis
0.00 B
/usr/share/doc/frama-c/frama-c-api/frama-c-alias/Alias/Analysis/index.html
1.31 KB
/usr/share/doc/frama-c/frama-c-api/frama-c-alias/Alias/index.html
1.39 KB
/usr/share/doc/frama-c/frama-c-api/frama-c-alias/index.html
1.01 KB
/usr/share/doc/frama-c/frama-c-api/frama-c-aorai
0.00 B
/usr/share/doc/frama-c/frama-c-api/frama-c-aorai/Aorai
0.00 B
/usr/share/doc/frama-c/frama-c-api/frama-c-aorai/Aorai/index.html
807.00 B
/usr/share/doc/frama-c/frama-c-api/frama-c-aorai/index.html
1.01 KB
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator
0.00 B
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator
0.00 B
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/OUT
0.00 B
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/OUT/Datatype
0.00 B
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/OUT/Datatype/index.html
6.92 KB
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/OUT/index.html
12.02 KB
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self
0.00 B
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Action
0.00 B
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Action/Datatype
0.00 B
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Action/Datatype/index.html
7.01 KB
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Action/argument-1-_
0.00 B
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Action/argument-1-_/index.html
1.51 KB
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Action/index.html
13.79 KB
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Bool
0.00 B
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Bool/Datatype
0.00 B
/usr/share/doc/frama-c/frama-c-api/frama-c-api-generator/Api_generator/Self/Bool/Datatype/index.html
7.01 KB
Component of
No Buildroots
