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-11-08 21:11:10
Finished
2024-11-08 21:34:40
Koji repo
6530132
Koji tasks
complete
125641354
aarch64
├125641426
closed
ppc64le
├125641424
closed
x86_64
└125641425
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
glib2
2.
82
.2-1.fc42
2.
83
.0-1.fc42
2
pyproject-rpm-macros
1.
15
.1-1.fc42
1.
16
.1-1.fc42
2
expat
2.6.
3
-1.fc42
2.6.
4
-1.fc42
2
libarchive
3.7.
6
-1.fc42
3.7.
7
-1.fc42
2
gcc
14.2.1-
5
.fc42
14.2.1-
6
.fc42
2
libgcc
14.2.1-
5
.fc42
14.2.1-
6
.fc42
2
bash
5.2.
32
-2.fc42
5.2.
37
-1.fc42
2
pixman-devel
0.
43
.4-2.fc41
0.
44
.0-0.fc42
3
gcc-plugin-annobin
14.2.1-
5
.fc42
14.2.1-
6
.fc42
3
cpp
14.2.1-
5
.fc42
14.2.1-
6
.fc42
3
pyproject-srpm-macros
1.
15
.1-1.fc42
1.
16
.1-1.fc42
3
libgomp
14.2.1-
5
.fc42
14.2.1-
6
.fc42
3
glib2-devel
2.
82
.2-1.fc42
2.
83
.0-1.fc42
3
crypto-policies
20241104
-1.git4983c10....
20241106
-1.git35892de....
3
libquadmath
14.2.1-
5
.fc42
14.2.1-
6
.fc42
4
libxcrypt-devel
4.4.36-
8
.fc42
4.4.36-
9
.fc42
4
pam-libs
1.7.0-
1
.fc42
1.7.0-
2
.fc42
4
gdb-minimal
15.2-
1
.fc42
15.2-
2
.fc42
4
harfbuzz-devel
10.
0
.1-1.fc42
10.
1
.0-1.fc42
4
harfbuzz
10.
0
.1-1.fc42
10.
1
.0-1.fc42
4
systemd-libs
256
.7-1.fc42
257
~rc1-2.fc42
4
libgfortran
14.2.1-
5
.fc42
14.2.1-
6
.fc42
4
pixman
0.
43
.4-2.fc41
0.
44
.0-0.fc42
4
pam
1.7.0-
1
.fc42
1.7.0-
2
.fc42
4
libXcursor
1.2.
2
-2.fc41
1.2.
3
-1.fc42
4
libXcursor-devel
1.2.
2
-2.fc41
1.2.
3
-1.fc42
4
libstdc++
14.2.1-
5
.fc42
14.2.1-
6
.fc42
4
json-c
0.
17
-4.fc41
0.
18
-1.fc42
B
libeconf
0.7.4-
2
.fc42
0.7.4-
3
.fc42
B
libxcrypt
4.4.36-
8
.fc42
4.4.36-
9
.fc42
B
harfbuzz-cairo
10.
0
.1-1.fc42
10.
1
.0-1.fc42
B
harfbuzz-icu
10.
0
.1-1.fc42
10.
1
.0-1.fc42
B
show 22 more
collapse
complete