Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
coq
Epoch
None
Version
8.18.0
Release
11.fc41
Started
2025-02-07 05:19:05
Finished
2025-02-07 05:46:29
Koji repo
6548092
Koji tasks
complete
128931614
aarch64
├128931711
closed
ppc64le
├128931712
closed
x86_64
└128931710
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
ocaml-ocamldoc
5.2.
0
-3.fc41
5.2.
1
-1.fc41
1
ocaml-zarith-devel
1.14-
2
.fc41
1.14-
3
.fc41
1
ocaml
5.2.
0
-3.fc41
5.2.
1
-1.fc41
1
ocaml-findlib-devel
1.9.
6
-14.fc41
1.9.
8
-1.fc41
1
ocaml-ounit-devel
2.2.7-
11
.fc41
2.2.7-
12
.fc41
1
ocaml-dune
3.
16
.1-1.fc41
3.
17
.2-1.fc41
1
ocaml-lablgtk3-sourceview3-devel
3.1.5-
3
.fc41
3.1.5-
4
.fc41
1
ocaml-cairo-devel
2:0.6.
4
-14.fc41
2:0.6.
5
-1.fc41
1
ocaml-cairo
2:0.6.
4
-14.fc41
2:0.6.
5
-1.fc41
2
ocaml-zarith
1.14-
2
.fc41
1.14-
3
.fc41
2
ocaml-lablgtk3-sourceview3
3.1.5-
3
.fc41
3.1.5-
4
.fc41
2
ocaml-rpm-macros
5.2.
0
-3.fc41
5.2.
1
-1.fc41
2
ocaml-lablgtk3-devel
3.1.5-
3
.fc41
3.1.5-
4
.fc41
2
ocaml-lablgtk3
3.1.5-
3
.fc41
3.1.5-
4
.fc41
2
ocaml-ounit
2.2.7-
11
.fc41
2.2.7-
12
.fc41
2
ocaml-findlib
1.9.
6
-14.fc41
1.9.
8
-1.fc41
2
ocaml-compiler-libs
5.2.
0
-3.fc41
5.2.
1
-1.fc41
2
ocaml-runtime
5.2.
0
-3.fc41
5.2.
1
-1.fc41
2
qt6-srpm-macros
6.8.
1
-4.fc41
6.8.
2
-1.fc41
3
crypto-policies
20241029
-1.git8baf557....
20250124
-1.git4d262e7....
3
libX11-devel
1.8.
10
-2.fc41
1.8.
11
-1.fc41
3
python3-packaging
24.
1
-2.fc41
24.
2
-3.fc41
3
libX11
1.8.
10
-2.fc41
1.8.
11
-1.fc41
4
libX11-xcb
1.8.
10
-2.fc41
1.8.
11
-1.fc41
4
llvm-libs
19.1.7-
1
.fc41
19.1.7-
2
.fc41
B
hwdata
0.
391
-1.fc41
0.
392
-1.fc41
B
libX11-common
1.8.
10
-2.fc41
1.8.
11
-1.fc41
B
show 17 more
collapse
complete