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-06-08 11:27:02
Finished
2024-06-08 11:57:27
Koji repo
6154672
Koji tasks
complete
118753020
aarch64
├118753185
closed
x86_64
└118753184
closed
Build logs
aarch64
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
git-core
2.45.
1
-1.fc40
2.45.
2
-2.fc40
1
adwaita-icon-theme
46.
0
-1.fc40
46.
2
-2.fc40
1
adwaita-icon-theme-legacy
46.2-1.fc40
2
adwaita-cursor-theme
46.
0
-1.fc40
46.
2
-2.fc40
2
libarchive
3.7.2-
3
.fc40
3.7.2-
4
.fc40
2
flexiblas-netlib
3.4.
2
-1.fc40
3.4.
4
-1.fc40
3
qt5-srpm-macros
5.15.
13
-1.fc40
5.15.
14
-1.fc40
3
nss
3.
99
.0-1.fc40
3.
100
.0-1.fc40
3
nss-util
3.
99
.0-1.fc40
3.
100
.0-1.fc40
4
nss-softokn
3.
99
.0-1.fc40
3.
100
.0-1.fc40
4
nspr
4.35.0-
22
.fc40
4.35.0-
23
.fc40
4
pam-libs
1.6.1-
1
.fc40
1.6.1-
3
.fc40
4
flexiblas
3.4.
2
-1.fc40
3.4.
4
-1.fc40
4
xorg-x11-proto-devel
2024.1-
1
.fc40
2024.1-
2
.fc40
4
flexiblas-openblas-openmp
3.4.
2
-1.fc40
3.4.
4
-1.fc40
4
nss-sysinit
3.
99
.0-1.fc40
3.
100
.0-1.fc40
4
pam
1.6.1-
1
.fc40
1.6.1-
3
.fc40
4
nss-softokn-freebl
3.
99
.0-1.fc40
3.
100
.0-1.fc40
B
hwdata
0.
382
-1.fc40
0.
383
-1.fc40
B
shadow-utils
2:4.15.1-
2
.fc40
2:4.15.1-
3
.fc40
B
libeconf
0.6.2-
1
.fc40
0.6.2-
2
.fc40
B
libdrm
2.4.
120
-3.fc40
2.4.
121
-1.fc40
B
show 12 more
collapse