Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
coq
Epoch
None
Version
8.18.0
Release
11.fc41
Started
2025-03-26 07:14:35
Finished
2025-03-26 07:38:38
Koji repo
6563836
Koji tasks
complete
130764160
aarch64
├130764236
closed
ppc64le
├130764235
closed
x86_64
└130764237
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-1.fc41
2.
49
.0-1.fc41
1
glibc
2.40-
22
.fc41
2.40-
23
.fc41
2
expat
2.
6
.4-1.fc41
2.
7
.0-1.fc41
2
rpm-libs
4.20.
0
-1.fc41
4.20.
1
-1.fc41
2
glib2
2.82.
2
-1.fc41
2.82.
5
-1.fc41
2
json-glib
1.10.
0
-1.fc41
1.10.
6
-1.fc41
2
glibc-minimal-langpack
2.40-
22
.fc41
2.40-
23
.fc41
3
glibc-devel
2.40-
22
.fc41
2.40-
23
.fc41
3
rpm-build
4.20.
0
-1.fc41
4.20.
1
-1.fc41
3
libxml2-devel
2.12.
9
-1.fc41
2.12.
10
-1.fc41
3
glib2-devel
2.82.
2
-1.fc41
2.82.
5
-1.fc41
3
glibc-gconv-extra
2.40-
22
.fc41
2.40-
23
.fc41
3
rpm
4.20.
0
-1.fc41
4.20.
1
-1.fc41
3
libxml2
2.12.
9
-1.fc41
2.12.
10
-1.fc41
3
glibc-common
2.40-
22
.fc41
2.40-
23
.fc41
3
rpm-build-libs
4.20.
0
-1.fc41
4.20.
1
-1.fc41
4
atk
2.54.
0
-1.fc41
2.54.
1
-1.fc41
4
at-spi2-atk
2.54.
0
-1.fc41
2.54.
1
-1.fc41
4
at-spi2-atk-devel
2.54.
0
-1.fc41
2.54.
1
-1.fc41
4
atk-devel
2.54.
0
-1.fc41
2.54.
1
-1.fc41
4
info
7.1
-
3.fc41
7.1
.
1-1.fc41
B
libsoup3
3.6.
4
-1.fc41
3.6.
5
-1.fc41
B
at-spi2-core
2.54.
0
-1.fc41
2.54.
1
-1.fc41
B
at-spi2-core-devel
2.54.
0
-1.fc41
2.54.
1
-1.fc41
B
show 14 more
collapse
