Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
coq
Epoch
None
Version
8.18.0
Release
7.fc41
Started
2024-06-29 01:04:55
Finished
2024-06-29 01:28:10
Koji repo
6215955
Koji tasks
complete
119758737
aarch64
├119758806
closed
ppc64le
├119758807
closed
x86_64
└119758808
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~
b2
-4.fc41
3.13.0~
b3
-1.fc41
1
pcre2
10.
43
-2.fc41.1
10.
44
-1.fc41
2
python3
3.13.0~
b2
-4.fc41
3.13.0~
b3
-1.fc41
2
openssl-libs
1:3.2.2-
1
.fc41
1:3.2.2-
2
.fc41
2
python3-libs
3.13.0~
b2
-4.fc41
3.13.0~
b3
-1.fc41
2
openldap
2.6.8-
2
.fc41
2.6.8-
3
.fc41
3
build-reproducibility-srpm-macros
0.3.
1
-1.fc41
0.3.
2
-1.fc41
3
libcap
2.70-
1
.fc41
2.70-
2
.fc41
3
python-pip-wheel
24.
0
-5.fc41
24.
1
.1-1.fc41
3
crypto-policies
20240521
-1.gitf71d135....
20240628
-1.gitddd11d3....
3
gnutls
3.8.5-
5
.fc41
3.8.5-
6
.fc41
3
pcre2-syntax
10.
43
-2.fc41.1
10.
44
-1.fc41
3
cups-libs
1:2.4.
8
-5.fc41
1:2.4.
10
-1.fc41
4
libwayland-cursor
1.
22
.0-3.fc40
1.
23
.0-1.fc41
4
libwayland-client
1.
22
.0-3.fc40
1.
23
.0-1.fc41
4
add-determinism
0.3.
1
-1.fc41
0.3.
2
-1.fc41
4
libwayland-egl
1.
22
.0-3.fc40
1.
23
.0-1.fc41
4
gdb-minimal
14.2-
12
.fc41
14.2-
13
.fc41
4
wayland-devel
1.
22
.0-3.fc40
1.
23
.0-1.fc41
4
pcre2-devel
10.
43
-2.fc41.1
10.
44
-1.fc41
4
libcom_err
1.47.
0
-5.fc40
1.47.
1
-1.fc41
4
pcre2-utf32
10.
43
-2.fc41.1
10.
44
-1.fc41
B
pcre2-utf16
10.
43
-2.fc41.1
10.
44
-1.fc41
B
libsoup3
3.5.1-
1
.fc41
3.5.1-
3
.fc41
B
mesa-libgbm
24.1.2-
1
.fc41
24.1.2-
6
.fc41
B
crypto-policies-scripts
20240521
-1.gitf71d135....
20240628
-1.gitddd11d3....
B
mesa-libEGL
24.1.2-
1
.fc41
24.1.2-
6
.fc41
B
libwayland-server
1.
22
.0-3.fc40
1.
23
.0-1.fc41
B
mesa-libglapi
24.1.2-
1
.fc41
24.1.2-
6
.fc41
B
mesa-libGL
24.1.2-
1
.fc41
24.1.2-
6
.fc41
B
show 20 more
collapse
complete