Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
coq
Epoch
None
Version
8.18.0
Release
4.fc40
Started
2024-03-21 18:46:36
Finished
2024-03-21 19:05:28
Koji repo
5942530
Koji tasks
complete
115261195
aarch64
├115261210
closed
x86_64
└115261209
closed
Build logs
aarch64
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
csdp-tools
6.2.0-
18
.fc40
6.2.0-
27
.20181018gi...
1
glibc
2.39.9000-
8
.fc41
2.39.9000-
9
.fc41
2
pcre2
10.
42
-2.fc40.2
10.
43
-1.fc41
2
expat
2.6.
0
-1.fc41
2.6.
2
-1.fc41
2
csdp
6.2.0-
18
.fc40
6.2.0-
27
.20181018gi...
2
glibc-minimal-langpack
2.39.9000-
8
.fc41
2.39.9000-
9
.fc41
3
nss
3.
98
.0-1.fc41
3.
99
.0-1.fc41
3
glibc-common
2.39.9000-
8
.fc41
2.39.9000-
9
.fc41
3
glibc-gconv-extra
2.39.9000-
8
.fc41
2.39.9000-
9
.fc41
3
glibc-devel
2.39.9000-
8
.fc41
2.39.9000-
9
.fc41
3
libffi
3.4.
4
-8.fc41
3.4.
6
-1.fc41
3
gnutls
3.8.
3
-2.fc40
3.8.
4
-1.fc41
3
pcre2-syntax
10.
42
-2.fc40.2
10.
43
-1.fc41
3
elfutils-libelf
0.191-
2
.fc41
0.191-
4
.fc41
4
nss-util
3.
98
.0-1.fc41
3.
99
.0-1.fc41
4
nspr
4.35.0-
21
.fc41
4.35.0-
22
.fc41
4
nss-sysinit
3.
98
.0-1.fc41
3.
99
.0-1.fc41
4
nss-softokn
3.
98
.0-1.fc41
3.
99
.0-1.fc41
4
pcre2-devel
10.
42
-2.fc40.2
10.
43
-1.fc41
4
elfutils
0.191-
2
.fc41
0.191-
4
.fc41
4
libffi-devel
3.4.
4
-8.fc41
3.4.
6
-1.fc41
4
glibc-headers-x86
2.39.9000-
8
.fc41
2.39.9000-
9
.fc41
4
elfutils-debuginfod-client
0.191-
2
.fc41
0.191-
4
.fc41
4
elfutils-default-yama-scope
0.191-
2
.fc41
0.191-
4
.fc41
B
mesa-libGL
24.0.3-
1
.fc41
24.0.3-
2
.fc41
B
elfutils-libs
0.191-
2
.fc41
0.191-
4
.fc41
B
mesa-libgbm
24.0.3-
1
.fc41
24.0.3-
2
.fc41
B
nss-softokn-freebl
3.
98
.0-1.fc41
3.
99
.0-1.fc41
B
shadow-utils
2:4.15.1-
1
.fc41
2:4.15.1-
2
.fc41
B
google-noto-sans-vf-fonts
20240301-
2
.fc41
20240301-
3
.fc41
B
pcre2-utf32
10.
42
-2.fc40.2
10.
43
-1.fc41
B
mesa-libEGL
24.0.3-
1
.fc41
24.0.3-
2
.fc41
B
google-noto-fonts-common
20240301-
2
.fc41
20240301-
3
.fc41
B
pcre2-utf16
10.
42
-2.fc40.2
10.
43
-1.fc41
B
mesa-libglapi
24.0.3-
1
.fc41
24.0.3-
2
.fc41
B
show 25 more
collapse
complete