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-03-20 08:24:33
Finished
2025-03-20 08:50:20
Koji repo
6562381
Koji tasks
complete
130516084
aarch64
├130516138
closed
ppc64le
├130516137
closed
x86_64
└130516136
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.
48
.1-3.fc43
2.
49
.0-1.fc43
1
adwaita-icon-theme
48
~
beta-1.fc43
48
.
0-1.fc43
1
libcurl
8.13.0~
rc1
-2.fc43
8.13.0~
rc2
-1.fc43
2
openssh-clients
9.9p1-
12
.fc43
9.9p1-
13
.fc43
2
adwaita-cursor-theme
48
~
beta-1.fc43
48
.
0-1.fc43
2
openssh
9.9p1-
12
.fc43
9.9p1-
13
.fc43
3
pango
1.56.
2
-1.fc43
1.56.
3
-1.fc43
3
annobin-plugin-gcc
12.
92
-1.fc43
12.
93
-1.fc43
3
at-spi2-atk-devel
2.
55
.90-1.fc43
2.
56
.0-1.fc43
4
libtinysparql
3.9
~
rc-1.fc43
3.9
.
1-1.fc43
4
at-spi2-atk
2.
55
.90-1.fc43
2.
56
.0-1.fc43
4
atk
2.
55
.90-1.fc43
2.
56
.0-1.fc43
4
atk-devel
2.
55
.90-1.fc43
2.
56
.0-1.fc43
4
curl
8.13.0~
rc1
-2.fc43
8.13.0~
rc2
-1.fc43
4
libxkbcommon
1.8.
0
-1.fc43
1.8.
1
-1.fc43
4
libxkbcommon-devel
1.8.
0
-1.fc43
1.8.
1
-1.fc43
4
cmake-filesystem
4
.0.0~rc4-1.fc43
3
.31.6-2.fc43
4
annobin-docs
12.
92
-1.fc43
12.
93
-1.fc43
4
pango-devel
1.56.
2
-1.fc43
1.56.
3
-1.fc43
4
kernel-headers
6.14.0-0.
rc6
.49.fc43
6.14.0-0.
rc7
.56.fc43
4
sysprof-capture-devel
48
~
rc-1.fc43
48
.
0-1.fc43
4
setup
2.15.0-
14
.fc43
2.15.0-
21
.fc43
4
libusb1
1.0.27-
8
.fc42
1.0.27-
9
.fc43
B
at-spi2-core
2.
55
.90-1.fc43
2.
56
.0-1.fc43
B
at-spi2-core-devel
2.
55
.90-1.fc43
2.
56
.0-1.fc43
B
show 15 more
collapse
