Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
why3
Epoch
None
Version
1.7.2
Release
1.fc40
Started
2024-11-17 17:30:20
Finished
2024-11-17 17:42:10
Koji repo
6531822
Koji tasks
complete
125955470
aarch64
├125955556
closed
x86_64
└125955555
closed
Build logs
aarch64
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
ghostscript
10.02.1-
12
.fc40
10.02.1-
13
.fc40
2
libgs
10.02.1-
12
.fc40
10.02.1-
13
.fc40
2
ghostscript-tools-fonts
10.02.1-
12
.fc40
10.02.1-
13
.fc40
3
krb5-libs
1.21.3-
1
.fc40
1.21.3-
2
.fc40
3
ghostscript-tools-printing
10.02.1-
12
.fc40
10.02.1-
13
.fc40
3
pyproject-srpm-macros
1.
15
.1-1.fc40
1.
16
.0-1.fc40
3
crypto-policies
20240725
-1.git28d3e2d....
20241011
-1.git5930b9a....
3
dwz
0.15-
6
.fc40
0.15-
8
.fc40
3
libtiff
4.6.0-
2
.fc40
4.6.0-
5
.fc40.1
3
libxcrypt
4.4.36-
5
.fc40
4.4.36-
10
.fc40
3
pam-libs
1.6.1-
3
.fc40
1.6.1-
4
.fc40
4
pam
1.6.1-
3
.fc40
1.6.1-
4
.fc40
4
authselect-libs
1.5.0-
5
.fc40
1.5.0-
6
.fc40
4
libtirpc
1.3.
5
-0.fc40
1.3.
6
-1.fc40
4
nss
3.
104
.0-1.fc40
3.
105
.0-1.fc40
4
libxcrypt-devel
4.4.36-
5
.fc40
4.4.36-
10
.fc40
4
elfutils-debuginfod-client
0.
191
-4.fc40
0.
192
-6.fc40
4
nspr
4.35.0-
29
.fc40
4.35.0-
30
.fc40
4
libdav1d
1.
4
.3-1.fc40
1.
5
.0-2.fc40
4
cmake-filesystem
3.
28
.2-1.fc40
3.
30
.5-1.fc40
4
elfutils-libelf
0.
191
-4.fc40
0.
192
-6.fc40
4
elfutils
0.
191
-4.fc40
0.
192
-6.fc40
B
elfutils-libs
0.
191
-4.fc40
0.
192
-6.fc40
B
nss-util
3.
104
.0-1.fc40
3.
105
.0-1.fc40
B
nss-softokn-freebl
3.
104
.0-1.fc40
3.
105
.0-1.fc40
B
elfutils-default-yama-scope
0.
191
-4.fc40
0.
192
-6.fc40
B
libusb1
1.0.27-
2
.fc40
1.0.27-
4
.fc40
B
libtiff-devel
4.6.0-
2
.fc40
4.6.0-
5
.fc40.1
B
debugedit
5.0-
14
.fc40
5.0-
18
.fc40
B
crypto-policies-scripts
20240725
-1.git28d3e2d....
20241011
-1.git5930b9a....
B
gdb-minimal
15.2-
1
.fc40
15.2-
2
.fc40
B
libxshmfence
1.3.2-
3
.fc40
1.3.2-
5
.fc40
B
authselect
1.5.0-
5
.fc40
1.5.0-
6
.fc40
B
perl-Module-CoreList
1:5.
20240920
-1.fc40
1:5.
20241020
-1.fc40
B
nss-softokn
3.
104
.0-1.fc40
3.
105
.0-1.fc40
B
nss-sysinit
3.
104
.0-1.fc40
3.
105
.0-1.fc40
B
show 26 more
collapse
complete