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-23 05:17:39
Finished
2024-09-23 05:43:22
Koji repo
6460571
Koji tasks
complete
123809875
aarch64
├123809914
closed
ppc64le
├123809916
closed
x86_64
└123809915
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
git-core
2.46.
0
-1.fc41
2.46.
1
-1.fc41
1
python3-devel
3.13.0~rc2-
1
.fc41
3.13.0~rc2-
3
.fc41
1
zlib-ng-compat
2.1.7-
2
.fc41
2.1.7-
3
.fc41
2
python3-libs
3.13.0~rc2-
1
.fc41
3.13.0~rc2-
3
.fc41
2
openssl-libs
1:3.2.2-
5
.fc41
1:3.2.2-
7
.fc41
2
openssh-clients
9.8p1-3.fc41
9.8p1-3.fc41.1
2
expat
2.6.
2
-2.fc41
2.6.
3
-1.fc41
2
python3
3.13.0~rc2-
1
.fc41
3.13.0~rc2-
3
.fc41
2
openssh
9.8p1-3.fc41
9.8p1-3.fc41.1
3
zlib-ng-compat-devel
2.1.7-
2
.fc41
2.1.7-
3
.fc41
3
systemd-libs
256.
5
-1.fc41
256.
6
-1.fc41
4
shadow-utils
2:4.15.1-
9
.fc41
2:4.15.1-
10
.fc41
4
libXi
1.8.
1
-6.fc41
1.8.
2
-1.fc41
4
libXi-devel
1.8.
1
-6.fc41
1.8.
2
-1.fc41
4
nss
3.
103
.0-1.fc41
3.
104
.0-1.fc41
4
mesa-libglapi
24.2.
2
-1.fc41
24.2.
3
-2.fc41
B
nss-sysinit
3.
103
.0-1.fc41
3.
104
.0-1.fc41
B
hwdata
0.
385
-1.fc41
0.
387
-1.fc41
B
nss-util
3.
103
.0-1.fc41
3.
104
.0-1.fc41
B
mesa-dri-drivers
24.2.
2
-1.fc41
24.2.
3
-2.fc41
B
mesa-libGL
24.2.
2
-1.fc41
24.2.
3
-2.fc41
B
mesa-libEGL
24.2.
2
-1.fc41
24.2.
3
-2.fc41
B
mesa-filesystem
24.2.
2
-1.fc41
24.2.
3
-2.fc41
B
nss-softokn
3.
103
.0-1.fc41
3.
104
.0-1.fc41
B
nss-softokn-freebl
3.
103
.0-1.fc41
3.
104
.0-1.fc41
B
nspr
4.35.0-
28
.fc41
4.35.0-
29
.fc41
B
mesa-libgbm
24.2.
2
-1.fc41
24.2.
3
-2.fc41
B
show 17 more
collapse
