Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
coq
Epoch
None
Version
8.18.0
Release
4.fc40
Started
2024-07-13 16:36:46
Finished
2024-07-13 16:57:00
Koji repo
6251472
Koji tasks
complete
120435026
aarch64
├120435135
closed
x86_64
└120435134
closed
Build logs
aarch64
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
glibc
2.39-
15
.fc40
2.39-
17
.fc40
2
emacs-filesystem
1:29.4-
3
.fc40
1:29.4-
5
.fc40
2
pyproject-rpm-macros
1.
12
.2-1.fc40
1.
13
.0-1.fc40
2
glibc-gconv-extra
2.39-
15
.fc40
2.39-
17
.fc40
3
gnutls
3.8.
5
-1.fc40
3.8.
6
-1.fc40
3
krb5-libs
1.21.
2
-5.fc40
1.21.
3
-1.fc40
3
qt6-srpm-macros
6.7.
1
-1.fc40
6.7.
2
-1.fc40
3
pyproject-srpm-macros
1.
12
.2-1.fc40
1.
13
.0-1.fc40
3
glibc-devel
2.39-
15
.fc40
2.39-
17
.fc40
3
glibc-common
2.39-
15
.fc40
2.39-
17
.fc40
3
glibc-minimal-langpack
2.39-
15
.fc40
2.39-
17
.fc40
3
gdb-minimal
14.2-
2
.fc40
14.2-
3
.fc40
4
p11-kit
0.25.
3
-4.fc40
0.25.
5
-1.fc40
4
glibc-headers-x86
2.39-
15
.fc40
2.39-
17
.fc40
4
p11-kit-trust
0.25.
3
-4.fc40
0.25.
5
-1.fc40
4
mesa-libgbm
24.1.2-
7
.fc40
24.1.2-
8
.fc40
B
mesa-libglapi
24.1.2-
7
.fc40
24.1.2-
8
.fc40
B
mesa-libGL
24.1.2-
7
.fc40
24.1.2-
8
.fc40
B
mesa-libEGL
24.1.2-
7
.fc40
24.1.2-
8
.fc40
B
show 9 more
collapse
