Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
coq
Epoch
None
Version
8.20.1
Release
1.fc42
Started
2025-04-21 07:09:43
Finished
2025-04-21 07:34:52
Koji repo
6569582
Koji tasks
complete
131798032
aarch64
├131798136
closed
ppc64le
├131798135
closed
x86_64
└131798134
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
ocaml-dune
3.18.
0
-1.fc43
3.18.
1
-1.fc43
1
java-21-openjdk
1:21.0.
6
.0.7-7.fc43
1:21.0.
7
.0.6-1.fc43
1
openssh-clients
9.9p1-
14
.fc43
9.9p1-
15
.fc43
2
gcc
15.0.1-0.
12
.fc43
15.0.1-0.
14
.fc43
2
java-21-openjdk-headless
1:21.0.
6
.0.7-7.fc43
1:21.0.
7
.0.6-1.fc43
2
libgcc
15.0.1-0.
12
.fc43
15.0.1-0.
14
.fc43
2
rpm-libs
5.99.90-
2
.fc43
5.99.90-
3
.fc43
2
libgomp
15.0.1-0.
12
.fc43
15.0.1-0.
14
.fc43
3
crypto-policies
20250402-
1
.git86c0178....
20250402-
2
.git86c0178....
3
rpm-build
5.99.90-
2
.fc43
5.99.90-
3
.fc43
3
rpm
5.99.90-
2
.fc43
5.99.90-
3
.fc43
3
gcc-plugin-annobin
15.0.1-0.
12
.fc43
15.0.1-0.
14
.fc43
3
libstdc++
15.0.1-0.
12
.fc43
15.0.1-0.
14
.fc43
3
cpp
15.0.1-0.
12
.fc43
15.0.1-0.
14
.fc43
3
openssh
9.9p1-
14
.fc43
9.9p1-
15
.fc43
3
harfbuzz-devel
11.
0
.1-2.fc43
11.
1
.0-1.fc43
4
harfbuzz
11.
0
.1-2.fc43
11.
1
.0-1.fc43
4
rpm-build-libs
5.99.90-
2
.fc43
5.99.90-
3
.fc43
4
libquadmath
15.0.1-0.
12
.fc43
15.0.1-0.
14
.fc43
4
google-noto-sans-vf-fonts
20250301
-1.fc43
20250401
-1.fc43
4
libgfortran
15.0.1-0.
12
.fc43
15.0.1-0.
14
.fc43
4
libgpg-error
1.
53
-1.fc43
1.
54
-1.fc43
B
harfbuzz-cairo
11.
0
.1-2.fc43
11.
1
.0-1.fc43
B
rpm-sign-libs
5.99.90-
2
.fc43
5.99.90-
3
.fc43
B
harfbuzz-icu
11.
0
.1-2.fc43
11.
1
.0-1.fc43
B
google-noto-fonts-common
20250301
-1.fc43
20250401
-1.fc43
B
show 16 more
collapse