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-09-01 05:48:10
Finished
2024-09-01 06:14:54
Koji repo
6385215
Koji tasks
complete
122772023
aarch64
├122772085
closed
ppc64le
├122772087
closed
x86_64
└122772086
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
python3-devel
3.13.0~rc1-
2
.fc41
3.13.0~rc1-
3
.fc42
1
python3
3.13.0~rc1-
2
.fc41
3.13.0~rc1-
3
.fc42
2
javapackages-tools
6.2.0-
14
.fc41
6.2.0-
27
.fc42
2
javapackages-filesystem
6.2.0-
14
.fc41
6.2.0-
27
.fc42
2
python3-libs
3.13.0~rc1-
2
.fc41
3.13.0~rc1-
3
.fc42
2
coreutils
9.5-
8
.fc42
9.5-
9
.fc42
3
crypto-policies
20240826
-1.gite824389....
20240828
-1.git5f66e81....
3
libssh
0.
10
.6-8.fc41
0.
11
.1-1.fc42
3
libnghttp2
1.
62
.1-2.fc41
1.
63
.0-1.fc42
3
coreutils-common
9.5-
8
.fc42
9.5-
9
.fc42
4
libssh-config
0.
10
.6-8.fc41
0.
11
.1-1.fc42
4
mesa-libEGL
24.2.
0
-2.fc42
24.2.
1
-2.fc42
B
mesa-libglapi
24.2.
0
-2.fc42
24.2.
1
-2.fc42
B
libdrm
2.4.
122
-1.fc41
2.4.
123
-1.fc42
B
mesa-filesystem
24.2.
0
-2.fc42
24.2.
1
-2.fc42
B
mesa-dri-drivers
24.2.
0
-2.fc42
24.2.
1
-2.fc42
B
libsoup3
3.
5
.2-2.fc41
3.
6
.0-1.fc42
B
mesa-libgbm
24.2.
0
-2.fc42
24.2.
1
-2.fc42
B
mesa-libGL
24.2.
0
-2.fc42
24.2.
1
-2.fc42
B
show 9 more
collapse
complete