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-11-05 14:30:47
Finished
2024-11-05 15:07:39
Koji repo
6528934
Koji tasks
complete
125529647
aarch64
├125529853
closed
ppc64le
├125529851
closed
x86_64
└125529852
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
ocaml-dune
3.16.
0
-5.fc42
3.16.
1
-1.fc42
1
libgcc
14.2.1-
4
.fc42
14.2.1-
5
.fc42
2
gcc
14.2.1-
4
.fc42
14.2.1-
5
.fc42
2
zlib-ng-compat
2.
1
.7-3.fc42
2.
2
.2-1.fc42
2
glibc
2.40.9000-
15
.fc42
2.40.9000-
16
.fc42
2
cpp
14.2.1-
4
.fc42
14.2.1-
5
.fc42
3
glibc-common
2.40.9000-
15
.fc42
2.40.9000-
16
.fc42
3
libgomp
14.2.1-
4
.fc42
14.2.1-
5
.fc42
3
zlib-ng-compat-devel
2.
1
.7-3.fc42
2.
2
.2-1.fc42
3
gnutls
3.8.
7
-4.fc42
3.8.
8
-1.fc42
3
glibc-devel
2.40.9000-
15
.fc42
2.40.9000-
16
.fc42
3
gcc-plugin-annobin
14.2.1-
4
.fc42
14.2.1-
5
.fc42
3
glibc-minimal-langpack
2.40.9000-
15
.fc42
2.40.9000-
16
.fc42
3
crypto-policies
20241018
-1.gitce922cb....
20241104
-1.git4983c10....
3
glibc-gconv-extra
2.40.9000-
15
.fc42
2.40.9000-
16
.fc42
3
libstdc++
14.2.1-
4
.fc42
14.2.1-
5
.fc42
4
kernel-headers
6.12.0-0.
rc5
.44.fc42
6.12.0-0.
rc6
.51.fc42
4
libquadmath
14.2.1-
4
.fc42
14.2.1-
5
.fc42
4
libgfortran
14.2.1-
4
.fc42
14.2.1-
5
.fc42
4
libxcrypt-devel
4.4.36-
7
.fc41
4.4.36-
8
.fc42
4
sysprof-capture-devel
47.
0
-1.fc42
47.
1
-1.fc42
4
cmake-filesystem
3.
28
.3-7.fc41
3.
30
.5-1.fc42
4
fedora-release-identity-basic
42-0.
6
42-0.
8
B
mesa-libglapi
24.2.
5
-1.fc42
24.2.
6
-1.fc42
B
libxshmfence
1.3.2-
4
.fc41
1.3.2-
5
.fc42
B
mesa-libGL
24.2.
5
-1.fc42
24.2.
6
-1.fc42
B
mesa-filesystem
24.2.
5
-1.fc42
24.2.
6
-1.fc42
B
libxcrypt
4.4.36-
7
.fc41
4.4.36-
8
.fc42
B
fedora-release
42-0.
6
42-0.
8
B
mesa-libgbm
24.2.
5
-1.fc42
24.2.
6
-1.fc42
B
mesa-dri-drivers
24.2.
5
-1.fc42
24.2.
6
-1.fc42
B
hwdata
0.
388
-1.fc42
0.
389
-1.fc42
B
fedora-release-common
42-0.
6
42-0.
8
B
mesa-libEGL
24.2.
5
-1.fc42
24.2.
6
-1.fc42
B
show 24 more
collapse
complete