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-08-22 04:18:57
Finished
2024-08-22 04:43:02
Koji repo
6354418
Koji tasks
complete
122292365
aarch64
├122292463
closed
ppc64le
├122292461
closed
x86_64
└122292462
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
redhat-rpm-config
293
-1.fc41
294
-1.fc42
2
pkgconf-pkg-config
2.
1
.1-2.fc41
2.
3
.0-1.fc42
2
glib2
2.81.
1
-1.fc41
2.81.
2
-2.fc42
2
coreutils
9.5-
7
.fc41
9.5-
8
.fc42
3
gnutls
3.8.
6
-7.fc41
3.8.
7
-2.fc42
3
libffi
3.4.6-
2
.fc41
3.4.6-
3
.fc42
3
pkgconf
2.
1
.1-2.fc41
2.
3
.0-1.fc42
3
glib2-devel
2.81.
1
-1.fc41
2.81.
2
-2.fc42
3
rust-srpm-macros
26.3-
1
.fc41
26.3-
3
.fc42
3
binutils
2.
42
.90-1.fc41
2.
43
.1-1.fc42
3
pkgconf-m4
2.
1
.1-2.fc41
2.
3
.0-1.fc42
3
libpkgconf
2.
1
.1-2.fc41
2.
3
.0-1.fc42
4
at-spi2-atk-devel
2.53.1-
1
.fc41
2.53.1-
2
.fc42
4
atk
2.53.1-
1
.fc41
2.53.1-
2
.fc42
4
cups-libs
1:2.4.10-
5
.fc42
1:2.4.10-
6
.fc42
4
systemd-libs
256.
4
-1.fc41
256.
5
-1.fc42
4
libffi-devel
3.4.6-
2
.fc41
3.4.6-
3
.fc42
4
kernel-headers
6.11.0-0.
rc3
.30.fc41
6.11.0-0.
rc4
.37.fc42
4
coreutils-common
9.5-
7
.fc41
9.5-
8
.fc42
4
harfbuzz-devel
9.0.0-
2
.fc41
9.0.0-
3
.fc42
4
at-spi2-atk
2.53.1-
1
.fc41
2.53.1-
2
.fc42
4
atk-devel
2.53.1-
1
.fc41
2.53.1-
2
.fc42
4
harfbuzz
9.0.0-
2
.fc41
9.0.0-
3
.fc42
4
harfbuzz-cairo
9.0.0-3.fc42
B
mesa-filesystem
24.2.0
~
rc4-1.fc41
24.2.0
-
1.fc42
B
avahi-glib
0.8-
29
.fc41
0.8-
30
.fc42
B
at-spi2-core
2.53.1-
1
.fc41
2.53.1-
2
.fc42
B
fedora-release
42-0.
1
42-0.
3
B
mesa-libgbm
24.2.0
~
rc4-1.fc41
24.2.0
-
1.fc42
B
mesa-libGL
24.2.0
~
rc4-1.fc41
24.2.0
-
1.fc42
B
mesa-libglapi
24.2.0
~
rc4-1.fc41
24.2.0
-
1.fc42
B
mesa-dri-drivers
24.2.0
~
rc4-1.fc41
24.2.0
-
1.fc42
B
fedora-release-identity-basic
42-0.
1
42-0.
3
B
fedora-release-common
42-0.
1
42-0.
3
B
harfbuzz-icu
9.0.0-
2
.fc41
9.0.0-
3
.fc42
B
mesa-libEGL
24.2.0
~
rc4-1.fc41
24.2.0
-
1.fc42
B
at-spi2-core-devel
2.53.1-
1
.fc41
2.53.1-
2
.fc42
B
avahi-libs
0.8-
29
.fc41
0.8-
30
.fc42
B
show 28 more
collapse
complete