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-05-04 00:27:11
Finished
2024-05-04 00:50:18
Koji repo
6065833
Koji tasks
complete
117218418
aarch64
├117218528
closed
x86_64
└117218527
closed
Build logs
aarch64
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
python3-devel
3.12.
2
-2.fc40
3.12.
3
-2.fc40
1
ocaml-dune
3.15.
0
-2.fc40
3.15.
2
-1.fc40
1
git-core
2.
44
.0-1.fc40
2.
45
.0-1.fc40
1
python3-libs
3.12.
2
-2.fc40
3.12.
3
-2.fc40
2
emacs-filesystem
1:29.3-
5
.fc40
1:29.3-
6
.fc40
2
icu4j
1:74
.2-4.fc40
1:75
.1-1.fc40
2
python3
3.12.
2
-2.fc40
3.12.
3
-2.fc40
2
libxcb-devel
1.
16
-4.fc40
1.
17
.0-1.fc40
3
pixman-devel
0.43.
0
-3.fc40
0.43.
4
-1.fc40
3
forge-srpm-macros
0.
2
.0-3.fc40
0.
3
.1-1.fc40
3
annobin-plugin-gcc
12.
46
-1.fc40
12.
51
-1.fc40
3
libX11-devel
1.8.
7
-3.fc40
1.8.
9
-1.fc40
3
qt6-srpm-macros
6.
6
.2-1.fc40
6.
7
.0-1.fc40
3
annobin-docs
12.
46
-1.fc40
12.
51
-1.fc40
4
libxcb
1.
16
-4.fc40
1.
17
.0-1.fc40
4
pixman
0.43.
0
-3.fc40
0.43.
4
-1.fc40
4
libtracker-sparql
3.7.
1
-1.fc40
3.7.
2
-1.fc40
4
default-fonts-core-sans
4.0-
12
.fc40
4.0-
13
.fc40
4
libX11-xcb
1.8.
7
-3.fc40
1.8.
9
-1.fc40
4
libX11
1.8.
7
-3.fc40
1.8.
9
-1.fc40
4
libX11-common
1.8.
7
-3.fc40
1.8.
9
-1.fc40
B
mesa-libgbm
24.0.
5
-1.fc40
24.0.
6
-2.fc40
B
mesa-libglapi
24.0.
5
-1.fc40
24.0.
6
-2.fc40
B
libgusb
0.4.
8
-3.fc40
0.4.
9
-1.fc40
B
ed
1.20.
1
-1.fc40
1.20.
2
-1.fc40
B
mesa-libEGL
24.0.
5
-1.fc40
24.0.
6
-2.fc40
B
mesa-libGL
24.0.
5
-1.fc40
24.0.
6
-2.fc40
B
show 17 more
collapse