Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
coq
Epoch
None
Version
8.18.0
Release
10.fc41
Started
2024-10-04 16:05:31
Finished
2024-10-04 16:31:22
Koji repo
6503789
Koji tasks
complete
124365912
aarch64
├124366017
closed
ppc64le
├124366018
closed
x86_64
└124366016
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
make
1:4.4.1-
8
.fc41
1:4.4.1-
9
.fc42
1
python3-devel
3.13.0~
rc2
-3.fc42
3.13.0~
rc3
-1.fc42
1
texlive-base
11:20230311-
85
.fc41
11:20230311-
86
.fc42
1
javapackages-filesystem
6.
2
.0-30.fc42
6.
3
.1-1.fc42
2
python3
3.13.0~
rc2
-3.fc42
3.13.0~
rc3
-1.fc42
2
pyproject-rpm-macros
1.15.
0
-1.fc42
1.15.
1
-1.fc42
2
xxhash-libs
0.8.2-
3
.fc41
0.8.2-
4
.fc42
2
javapackages-tools
6.
2
.0-30.fc42
6.
3
.1-1.fc42
2
python3-libs
3.13.0~
rc2
-3.fc42
3.13.0~
rc3
-1.fc42
2
crypto-policies
20240828
-1.git5f66e81....
20240927
-1.git93b7251....
3
xz-libs
1:5.6.
2
-2.fc41
1:5.6.
3
-1.fc42
3
libxcb-devel
1.17.0-
2
.fc41
1.17.0-
3
.fc42
3
pyproject-srpm-macros
1.15.
0
-1.fc42
1.15.
1
-1.fc42
3
xz-devel
1:5.6.
2
-2.fc41
1:5.6.
3
-1.fc42
4
libxcb
1.17.0-
2
.fc41
1.17.0-
3
.fc42
4
xz
1:5.6.
2
-2.fc41
1:5.6.
3
-1.fc42
4
mesa-libgbm
24.2.
3
-2.fc42
24.2.
4
-1.fc42
B
mesa-libglapi
24.2.
3
-2.fc42
24.2.
4
-1.fc42
B
mesa-dri-drivers
24.2.
3
-2.fc42
24.2.
4
-1.fc42
B
mesa-libEGL
24.2.
3
-2.fc42
24.2.
4
-1.fc42
B
mesa-filesystem
24.2.
3
-2.fc42
24.2.
4
-1.fc42
B
mesa-libGL
24.2.
3
-2.fc42
24.2.
4
-1.fc42
B
xkeyboard-config
2.
42
-2.fc41
2.
43
-1.fc42
B
hwdata
0.
387
-1.fc42
0.
388
-1.fc42
B
llvm-libs
18
.1.8-2.fc41
19
.1.0-1.fc42
B
show 15 more
collapse
complete