Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
gappalib-coq
Epoch
None
Version
1.7.0
Release
1.fc42
Started
2025-04-28 15:01:43
Finished
2025-04-28 15:08:23
Koji repo
6571421
Koji tasks
complete
132073914
aarch64
├132074044
closed
ppc64le
├132074045
closed
x86_64
└132074046
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
gcc-c++
15.
0
.1-0.11.fc42
15.
1
.1-1.fc42
1
libstdc++
15.
0
.1-0.11.fc42
15.
1
.1-1.fc42
2
libgcc
15.
0
.1-0.11.fc42
15.
1
.1-1.fc42
2
glibc
2.41-
3
.fc42
2.41-
5
.fc42
2
gcc
15.
0
.1-0.11.fc42
15.
1
.1-1.fc42
2
libstdc++-devel
15.
0
.1-0.11.fc42
15.
1
.1-1.fc42
2
gcc-plugin-annobin
15.
0
.1-0.11.fc42
15.
1
.1-1.fc42
3
glibc-minimal-langpack
2.41-
3
.fc42
2.41-
5
.fc42
3
cpp
15.
0
.1-0.11.fc42
15.
1
.1-1.fc42
3
glibc-common
2.41-
3
.fc42
2.41-
5
.fc42
3
glibc-gconv-extra
2.41-
3
.fc42
2.41-
5
.fc42
3
python3
3.13.3-
1
.fc42
3.13.3-
2
.fc42
3
qt6-srpm-macros
6.
8
.2-2.fc42
6.
9
.0-2.fc42
3
glibc-devel
2.41-
3
.fc42
2.41-
5
.fc42
3
efi-srpm-macros
6-
2
.fc42
6-
3
.fc42
3
libgomp
15.
0
.1-0.11.fc42
15.
1
.1-1.fc42
3
python3-libs
3.13.3-
1
.fc42
3.13.3-
2
.fc42
4
kernel-headers
6.14.
0
-63.fc42
6.14.
3
-300.fc42
4
libgfortran
15.
0
.1-0.11.fc42
15.
1
.1-1.fc42
B
xz-libs
1:5.
6
.3-3.fc42
1:5.
8
.1-2.fc42
B
xz
1:5.
6
.3-3.fc42
1:5.
8
.1-2.fc42
B
libquadmath
15.
0
.1-0.11.fc42
15.
1
.1-1.fc42
B
show 12 more
collapse
