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 00:36:43
Finished
2024-09-18 01:05:35
Koji repo
6443401
Koji tasks
complete
123573122
aarch64
├123573193
closed
ppc64le
├123573195
closed
x86_64
└123573194
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.fc42
1
adwaita-icon-theme
47
~
beta-1.fc41
47
.
0-1.fc42
1
libgcc
14.2.1-
2
.fc42
14.2.1-
3
.fc42
2
gcc
14.2.1-
2
.fc42
14.2.1-
3
.fc42
2
adwaita-cursor-theme
47
~
beta-1.fc41
47
.
0-1.fc42
2
cpp
14.2.1-
2
.fc42
14.2.1-
3
.fc42
3
gnutls
3.8.7-
2
.fc42
3.8.7-
4
.fc42
3
filesystem
3.18-
23
.fc41
3.18-
29
.fc42
3
gcc-plugin-annobin
14.2.1-
2
.fc42
14.2.1-
3
.fc42
3
libgomp
14.2.1-
2
.fc42
14.2.1-
3
.fc42
3
python-pip-wheel
24.2-
1
.fc41
24.2-
2
.fc42
3
kernel-headers
6.11.0-
0
.rc7.56.fc42
6.11.0-
63
.fc42
4
atk
2.
53
.90-1.fc42
2.
54
.0-1.fc42
4
sysprof-capture-devel
47
~
beta-1.fc41
47
.
0-1.fc42
4
at-spi2-atk
2.
53
.90-1.fc42
2.
54
.0-1.fc42
4
libstdc++
14.2.1-
2
.fc42
14.2.1-
3
.fc42
4
at-spi2-atk-devel
2.
53
.90-1.fc42
2.
54
.0-1.fc42
4
libgfortran
14.2.1-
2
.fc42
14.2.1-
3
.fc42
4
atk-devel
2.
53
.90-1.fc42
2.
54
.0-1.fc42
4
libquadmath
14.2.1-
2
.fc42
14.2.1-
3
.fc42
4
shadow-utils
2:4.16.0-
2
.fc42
2:4.16.0-
3
.fc42
4
at-spi2-core-devel
2.
53
.90-1.fc42
2.
54
.0-1.fc42
B
at-spi2-core
2.
53
.90-1.fc42
2.
54
.0-1.fc42
B
show 13 more
collapse
