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-08-02 08:24:23
Finished
2024-08-02 08:48:49
Koji repo
6297859
Koji tasks
complete
121385284
aarch64
├121385373
closed
ppc64le
├121385372
closed
x86_64
└121385371
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~
b4
-3.fc41
3.13.0~
rc1
-1.fc41
1
libcurl
8.9.
0
-1.fc41
8.9.
1
-1.fc41
2
glibc
2.40-
2
.fc41
2.40-
3
.fc41
2
python3
3.13.0~
b4
-3.fc41
3.13.0~
rc1
-1.fc41
2
python3-libs
3.13.0~
b4
-3.fc41
3.13.0~
rc1
-1.fc41
2
rpm-libs
4.19.92-
5
.fc41
4.19.92-
6
.fc41
2
rpm-build
4.19.92-
5
.fc41
4.19.92-
6
.fc41
3
fontconfig
2.15.0-
7
.fc41
2.15.0-
8
.fc41
3
glibc-minimal-langpack
2.40-
2
.fc41
2.40-
3
.fc41
3
fontconfig-devel
2.15.0-
7
.fc41
2.15.0-
8
.fc41
3
libssh
0.10.6-
6
.fc41
0.10.6-
8
.fc41
3
glibc-devel
2.40-
2
.fc41
2.40-
3
.fc41
3
glibc-common
2.40-
2
.fc41
2.40-
3
.fc41
3
glibc-gconv-extra
2.40-
2
.fc41
2.40-
3
.fc41
3
rpm
4.19.92-
5
.fc41
4.19.92-
6
.fc41
3
libX11-devel
1.8.
9
-2.fc41
1.8.
10
-1.fc41
3
libX11
1.8.
9
-2.fc41
1.8.
10
-1.fc41
4
glibc-headers-x86
2.40-
2
.fc41
2.40-
3
.fc41
4
rpm-build-libs
4.19.92-
5
.fc41
4.19.92-
6
.fc41
4
libssh-config
0.10.6-
6
.fc41
0.10.6-
8
.fc41
4
libX11-xcb
1.8.
9
-2.fc41
1.8.
10
-1.fc41
4
curl
8.9.
0
-1.fc41
8.9.
1
-1.fc41
4
mesa-libGL
24.
1
.4-2.fc41
24.
2
.0~rc3-1.fc41
B
mesa-dri-drivers
24.2.0~rc3-1.fc41
B
mesa-libglapi
24.
1
.4-2.fc41
24.
2
.0~rc3-1.fc41
B
libX11-common
1.8.
9
-2.fc41
1.8.
10
-1.fc41
B
mesa-libgbm
24.
1
.4-2.fc41
24.
2
.0~rc3-1.fc41
B
mesa-libEGL
24.
1
.4-2.fc41
24.
2
.0~rc3-1.fc41
B
lm_sensors-libs
3.6.0-20.fc41
B
llvm-libs
18.1.8-2.fc41
B
mesa-filesystem
24.2.0~rc3-1.fc41
B
libwebp-devel
1.4.0-
2
.fc41
1.4.0-
3
.fc41
B
libwebp
1.4.0-
2
.fc41
1.4.0-
3
.fc41
B
show 23 more
collapse