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-01-22 21:46:03
Finished
2025-01-22 22:09:42
Koji repo
6545242
Koji tasks
complete
128332892
aarch64
├128332981
closed
ppc64le
├128332982
closed
s390x
├128332983
closed
x86_64
└128332980
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
s390x
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
glib2
2.83.2-
2
.fc42
2.83.2-
3
.fc42
2
rpm-libs
4.20.0-
7
.fc42
4.20.0-
8
.fc42
2
annobin-plugin-gcc
12.
81
-1.fc42
12.
83
-1.fc42
3
qt5-srpm-macros
5.15.
16
-2.fc42
5.15.
15
-1.fc42
3
rpm-build
4.20.0-
7
.fc42
4.20.0-
8
.fc42
3
systemd
257.2-14.fc42
3
rpm
4.20.0-
7
.fc42
4.20.0-
8
.fc42
3
glib2-devel
2.83.2-
2
.fc42
2.83.2-
3
.fc42
3
pango
1.56.
0
-1.fc42
1.56.
1
-1.fc42
3
pango-devel
1.56.
0
-1.fc42
1.56.
1
-1.fc42
4
annobin-docs
12.
81
-1.fc42
12.
83
-1.fc42
4
libseccomp
2.5.5-2.fc41
4
rpm-build-libs
4.20.0-
7
.fc42
4.20.0-
8
.fc42
4
systemd-pam
257.2-14.fc42
4
dbus-broker
36-5.fc42
B
dbus-common
1:1.16.0-3.fc42
B
show 6 more
collapse