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-18 01:04:07
Finished
2024-09-18 01:34:07
Koji repo
6442833
Koji tasks
complete
123573794
aarch64
├123573883
closed
ppc64le
├123573885
closed
x86_64
└123573884
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~
rc2
-1.fc41
1
glib2
2.
81
.2-2.fc41
2.
82
.0-1.fc41
2
python3-libs
3.13.0~
rc1
-2.fc41
3.13.0~
rc2
-1.fc41
2
python3
3.13.0~
rc1
-2.fc41
3.13.0~
rc2
-1.fc41
2
gcc
14.2.1-
1
.fc41
14.2.1-
3
.fc41
2
libgcc
14.2.1-
1
.fc41
14.2.1-
3
.fc41
2
qt5-srpm-macros
5.15.
14
-3.fc41
5.15.
15
-1.fc41
3
libgomp
14.2.1-
1
.fc41
14.2.1-
3
.fc41
3
gcc-plugin-annobin
14.2.1-
1
.fc41
14.2.1-
3
.fc41
3
glib2-devel
2.
81
.2-2.fc41
2.
82
.0-1.fc41
3
crypto-policies
20240807
-1.git5795660....
20240826
-1.gite824389....
3
cpp
14.2.1-
1
.fc41
14.2.1-
3
.fc41
3
libquadmath
14.2.1-
1
.fc41
14.2.1-
3
.fc41
4
libgfortran
14.2.1-
1
.fc41
14.2.1-
3
.fc41
4
libstdc++
14.2.1-
1
.fc41
14.2.1-
3
.fc41
4
kernel-headers
6.11.0-
0
.rc5.43.fc41
6.11.0-
63
.fc41
4
libdrm
2.4.
122
-1.fc41
2.4.
123
-1.fc41
B
mesa-libEGL
24.2.
0
-2.fc41
24.2.
2
-1.fc41
B
mesa-dri-drivers
24.2.
0
-2.fc41
24.2.
2
-1.fc41
B
mesa-filesystem
24.2.
0
-2.fc41
24.2.
2
-1.fc41
B
fedora-repos
41-0.
4
41-0.
5
B
mesa-libgbm
24.2.
0
-2.fc41
24.2.
2
-1.fc41
B
libsoup3
3.
5
.2-2.fc41
3.
6
.0-1.fc41
B
fedora-gpg-keys
41-0.
4
41-0.
5
B
mesa-libglapi
24.2.
0
-2.fc41
24.2.
2
-1.fc41
B
mesa-libGL
24.2.
0
-2.fc41
24.2.
2
-1.fc41
B
show 16 more
collapse
complete