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-04-05 16:22:08
Finished
2024-04-05 16:43:10
Koji repo
5986512
Koji tasks
complete
115934782
aarch64
├115934971
closed
x86_64
└115934972
closed
Build logs
aarch64
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
ocaml-dune
3.
14
.2-1.fc41
3.
15
.0-1.fc41
1
libcurl
8.
6
.0-7.fc41
8.
7
.1-1.fc41
2
openssl-libs
1:3.2.1-
3
.fc41
1:3.2.1-
6
.fc41
2
openssh-clients
9.6p1-1.fc41.
3
9.6p1-1.fc41.
6
2
emacs-filesystem
1:29.3-
1
.fc41
1:29.3-
2
.fc41
2
qt6-srpm-macros
6.
6
.2-1.fc41
6.
7
.0-1.fc41
3
libnghttp2
1.
60
.0-2.fc41
1.
61
.0-1.fc41
3
pixman-devel
0.43.
0
-3.fc40
0.43.
4
-1.fc41
3
openssh
9.6p1-1.fc41.
3
9.6p1-1.fc41.
6
3
gnutls
3.8.
4
-1.fc41
3.8.
5
-1.fc41
3
annobin-plugin-gcc
12.
46
-1.fc41
12.
48
-1.fc41
3
coreutils
9.
4
-6.fc40
9.
5
-1.fc41
3
cups-libs
1:2.4.7-
12
.fc41
1:2.4.7-
13
.fc41
3
libX11-devel
1.8.
7
-3.fc40
1.8.
8
-1.fc41
3
harfbuzz-devel
8.
3
.1-1.fc41
8.
4
.0-1.fc41
4
libxkbcommon-devel
1.
6
.0-2.fc41
1.
7
.0-1.fc41
4
annobin-docs
12.
46
-1.fc41
12.
48
-1.fc41
4
kernel-headers
6.9.0-0.
rc1
.17.fc41
6.9.0-0.
rc2
.23.fc41
4
pixman
0.43.
0
-3.fc40
0.43.
4
-1.fc41
4
libX11
1.8.
7
-3.fc40
1.8.
8
-1.fc41
4
coreutils-common
9.
4
-6.fc40
9.
5
-1.fc41
4
libX11-xcb
1.8.
7
-3.fc40
1.8.
8
-1.fc41
4
curl
8.
6
.0-7.fc41
8.
7
.1-1.fc41
4
harfbuzz
8.
3
.1-1.fc41
8.
4
.0-1.fc41
4
libxkbcommon
1.
6
.0-2.fc41
1.
7
.0-1.fc41
4
libX11-common
1.8.
7
-3.fc40
1.8.
8
-1.fc41
B
mesa-libEGL
24.0.
3
-3.fc41
24.0.
4
-1.fc41
B
google-noto-sans-vf-fonts
20240301
-3.fc41
20240401
-1.fc41
B
hwdata
0.
380
-1.fc41
0.
381
-1.fc41
B
harfbuzz-icu
8.
3
.1-1.fc41
8.
4
.0-1.fc41
B
mesa-libgbm
24.0.
3
-3.fc41
24.0.
4
-1.fc41
B
google-noto-fonts-common
20240301
-3.fc41
20240401
-1.fc41
B
mesa-libGL
24.0.
3
-3.fc41
24.0.
4
-1.fc41
B
mesa-libglapi
24.0.
3
-3.fc41
24.0.
4
-1.fc41
B
show 24 more
collapse