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-24 05:35:22
Finished
2025-03-24 06:00:41
Koji repo
6563261
Koji tasks
complete
130677355
aarch64
├130677443
closed
ppc64le
├130677442
closed
x86_64
└130677441
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
adwaita-icon-theme
48
~
beta-1.fc42
48
.
0-1.fc42
1
desktop-file-utils
0.
27
-3.fc42
0.
28
-1.fc42
1
adwaita-cursor-theme
48
~
beta-1.fc42
48
.
0-1.fc42
2
icu4j
1:76
.1-3.fc42
1:77
.1-1.fc42
2
mpfr
4.2.
1
-6.fc42
4.2.
2
-1.fc42
3
pango
1.56.
2
-1.fc42
1.56.
3
-1.fc42
3
atk-devel
2.
55
.2-1.fc42
2.
56
.0-1.fc42
4
atk
2.
55
.2-1.fc42
2.
56
.0-1.fc42
4
at-spi2-atk-devel
2.
55
.2-1.fc42
2.
56
.0-1.fc42
4
at-spi2-atk
2.
55
.2-1.fc42
2.
56
.0-1.fc42
4
pango-devel
1.56.
2
-1.fc42
1.56.
3
-1.fc42
4
libtinysparql
3.9
~
rc-1.fc42
3.9
.
1-1.fc42
4
sysprof-capture-devel
48
~
rc-1.fc42
48
.
0-1.fc42
4
at-spi2-core
2.
55
.2-1.fc42
2.
56
.0-1.fc42
B
llvm-libs
20.1.
0
-1.fc42
20.1.
1
-1.fc42
B
at-spi2-core-devel
2.
55
.2-1.fc42
2.
56
.0-1.fc42
B
mesa-dri-drivers
25.0.
1
-3.fc42
25.0.
2
-2.fc42
B
mesa-libEGL
25.0.
1
-3.fc42
25.0.
2
-2.fc42
B
llvm-filesystem
20.1.
0
-1.fc42
20.1.
1
-1.fc42
B
mesa-libgbm
25.0.
1
-3.fc42
25.0.
2
-2.fc42
B
mesa-filesystem
25.0.
1
-3.fc42
25.0.
2
-2.fc42
B
mesa-libGL
25.0.
1
-3.fc42
25.0.
2
-2.fc42
B
show 12 more
collapse
