Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
coq
Epoch
None
Version
8.20.1
Release
1.fc42
Started
2025-02-12 06:33:27
Finished
2025-02-12 06:59:56
Koji repo
6549993
Koji tasks
complete
129164879
aarch64
├129165019
closed
ppc64le
├129165021
closed
x86_64
└129165020
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
glibc
2.40.9000-
35
.fc42
2.40.9000-
37
.fc43
2
glibc-minimal-langpack
2.40.9000-
35
.fc42
2.40.9000-
37
.fc43
3
binutils
2.44-
1
.fc42
2.44-
3
.fc43
3
cups-libs
1:2.4.11-
10
.fc42
1:2.4.11-
11
.fc43
3
glibc-common
2.40.9000-
35
.fc42
2.40.9000-
37
.fc43
3
glibc-gconv-extra
2.40.9000-
35
.fc42
2.40.9000-
37
.fc43
3
gtk3-devel
3.24.43-
3
.fc42
3.24.43-
4
.fc43
3
filesystem
3.18-
36
.fc42
3.18-
38
.fc43
3
glibc-devel
2.40.9000-
35
.fc42
2.40.9000-
37
.fc43
3
nss
3.
107
.0-2.fc42
3.
108
.0-3.fc43
3
flexiblas-netlib
3.4.
4
-7.fc42
3.4.
5
-1.fc43
3
build-reproducibility-srpm-macros
0.
5
.0-2.fc42
0.
6
.0-1.fc43
3
filesystem-srpm-macros
3.18-
36
.fc42
3.18-
38
.fc43
3
gtk3
3.24.43-
3
.fc42
3.24.43-
4
.fc43
3
gdb-minimal
15
.2-7.fc42
16
.2-1.fc43
4
nss-softokn
3.
107
.0-2.fc42
3.
108
.0-3.fc43
4
nss-sysinit
3.
107
.0-2.fc42
3.
108
.0-3.fc43
4
libtasn1
4.
19
.0-11.fc42
4.
20
.0-1.fc43
4
flexiblas-openblas-openmp
3.4.
4
-7.fc42
3.4.
5
-1.fc43
4
cups-filesystem
1:2.4.11-
10
.fc42
1:2.4.11-
11
.fc43
4
libtinysparql
3.8~rc-6.fc43
4
setup
2.15.0-
10
.fc42
2.15.0-
12
.fc43
4
add-determinism
0.
5
.0-2.fc42
0.
6
.0-1.fc43
4
nspr
4.36.0-
3
.fc42
4.36.0-
4
.fc43
4
nss-util
3.
107
.0-2.fc42
3.
108
.0-3.fc43
4
gtk-update-icon-cache
3.24.43-
3
.fc42
3.24.43-
4
.fc43
4
libxkbcommon-devel
1.
7
.0-6.fc42
1.
8
.0-1.fc43
4
flexiblas
3.4.
4
-7.fc42
3.4.
5
-1.fc43
4
kernel-headers
6.14.0-0.
rc1
.15.fc42
6.14.0-0.
rc2
.22.fc43
4
libxkbcommon
1.
7
.0-6.fc42
1.
8
.0-1.fc43
4
mesa-libgbm
24
.3.4-2.fc42
25
.0.0~rc2-2.fc43
B
mesa-filesystem
24
.3.4-2.fc42
25
.0.0~rc2-2.fc43
B
libtracker-sparql
3.7.3-5.fc42
mesa-libGL
24
.3.4-2.fc42
25
.0.0~rc2-2.fc43
B
libeconf
0.7.
5
-2.fc42
0.7.
6
-1.fc43
B
mesa-dri-drivers
24
.3.4-2.fc42
25
.0.0~rc2-2.fc43
B
mesa-libEGL
24
.3.4-2.fc42
25
.0.0~rc2-2.fc43
B
basesystem
11-22.fc42
xkeyboard-config
2.
43
-2.fc42
2.
44
-1.fc43
B
mesa-libglapi
24.3.4-2.fc42
nss-softokn-freebl
3.
107
.0-2.fc42
3.
108
.0-3.fc43
B
show 31 more
collapse
complete