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-07-27 05:32:45
Finished
2024-07-27 05:59:54
Koji repo
6283088
Koji tasks
complete
121116382
aarch64
├121116467
closed
ppc64le
├121116466
closed
x86_64
└121116465
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
python3-devel
3.13.0~b4-
1
.fc41
3.13.0~b4-
2
.fc41
1
python3
3.13.0~b4-
1
.fc41
3.13.0~b4-
2
.fc41
2
glibc
2.
39
.9000-35.fc41
2.
40
-2.fc41
2
less
643
-5.fc41
661
-1.fc41
2
openssh-clients
9.
6p1
-1.fc41.14
9.
8p1
-2.fc41
2
pyproject-rpm-macros
1.
13
.0-2.fc41
1.
14
.0-1.fc41
2
libcurl
8.
8
.0-3.fc41
8.
9
.0-1.fc41
2
python3-libs
3.13.0~b4-
1
.fc41
3.13.0~b4-
2
.fc41
2
glib2
2.80.3-
1
.fc41
2.80.3-
5
.fc41
2
gnutls
3.8.6-
4
.fc41
3.8.6-
7
.fc41
3
openssh
9.
6p1
-1.fc41.14
9.
8p1
-2.fc41
3
openldap
2.6.8-
4
.fc41
2.6.8-
5
.fc41
3
glibc-minimal-langpack
2.
39
.9000-35.fc41
2.
40
-2.fc41
3
annobin-plugin-gcc
12.
62
-2.fc41
12.
64
-1.fc41
3
glibc-gconv-extra
2.
39
.9000-35.fc41
2.
40
-2.fc41
3
pyproject-srpm-macros
1.
13
.0-2.fc41
1.
14
.0-1.fc41
3
glibc-common
2.
39
.9000-35.fc41
2.
40
-2.fc41
3
binutils
2.42.
50
-20.fc41
2.42.
90
-1.fc41
3
glib2-devel
2.80.3-
1
.fc41
2.80.3-
5
.fc41
3
glibc-devel
2.
39
.9000-35.fc41
2.
40
-2.fc41
3
crypto-policies
20240717
-2.git154fd4e....
20240725
-2.git9555558....
3
curl
8.
8
.0-3.fc41
8.
9
.0-1.fc41
4
glibc-headers-x86
2.
39
.9000-35.fc41
2.
40
-2.fc41
4
diffutils
3.10-
6
.fc41
3.10-
7
.fc41
4
shadow-utils
2:4.15.1-
5
.fc41
2:4.15.1-
9
.fc41
4
annobin-docs
12.
62
-2.fc41
12.
64
-1.fc41
4
systemd-libs
256.
3
-2.fc41
256.
4
-1.fc41
4
libdrm
2.4.
121
-2.fc41
2.4.
122
-1.fc41
B
libtirpc
1.3.
4
-1.rc3.fc41.1
1.3.
5
-0.fc41
B
crypto-policies-scripts
20240717
-2.git154fd4e....
20240725
-2.git9555558....
B
show 20 more
collapse