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-07 05:42:55
Finished
2024-08-07 06:16:06
Koji repo
6309620
Koji tasks
complete
121596643
aarch64
├121596822
closed
ppc64le
├121596823
closed
x86_64
└121596821
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
antlr4
4.13.
1
-3.fc41
4.13.
2
-1.fc41
1
python3-antlr4-runtime
4.13.
1
-3.fc41
4.13.
2
-1.fc41
1
git-core
2.
45
.2-3.fc41
2.
46
.0-1.fc41
1
antlr4-runtime
4.13.
1
-3.fc41
4.13.
2
-1.fc41
2
libcurl
8.9.1-
1
.fc41
8.9.1-
2
.fc41
2
glib2
2.81.
0
-1.fc41
2.81.
1
-1.fc41
2
openssh-clients
9.8p1-
2
.fc41
9.8p1-
3
.fc41
2
crypto-policies
20240725
-2.git9555558....
20240802
-1.git2e5e430....
3
forge-srpm-macros
0.3.
1
-2.fc41
0.3.
2
-1.fc41
3
python-pip-wheel
24.
1
.1-2.fc41
24.
2
-1.fc41
3
annobin-plugin-gcc
12.
65
-1.fc41
12.
66
-1.fc41
3
glib2-devel
2.81.
0
-1.fc41
2.81.
1
-1.fc41
3
openssh
9.8p1-
2
.fc41
9.8p1-
3
.fc41
3
annobin-docs
12.
65
-1.fc41
12.
66
-1.fc41
4
kernel-headers
6.11.0-0.
rc1
.dc1c803...
6.11.0-0.
rc2
.23.fc41
4
curl
8.9.1-
1
.fc41
8.9.1-
2
.fc41
4
fedora-release
41-0.
17
41-0.
20
B
fedora-release-identity-basic
41-0.
17
41-0.
20
B
libXtst
1.2.
4
-7.fc41
1.2.
5
-1.fc41
B
fedora-release-common
41-0.
17
41-0.
20
B
hwdata
0.
384
-2.fc41
0.
385
-1.fc41
B
libXtst-devel
1.2.
4
-7.fc41
1.2.
5
-1.fc41
B
crypto-policies-scripts
20240725
-2.git9555558....
20240802
-1.git2e5e430....
B
show 13 more
collapse
complete