Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
why3
Epoch
None
Version
1.7.2
Release
10.fc42
Started
2024-11-19 11:53:14
Finished
2024-11-19 12:09:40
Koji repo
6532269
Koji tasks
complete
126015140
aarch64
├126015241
closed
ppc64le
├126015239
closed
x86_64
└126015240
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
glibc
2.40.9000-
17
.fc42
2.40.9000-
18
.fc42
2
alsa-lib
1.2.13-
1
.fc42
1.2.13-
3
.fc42
2
glibc-gconv-extra
2.40.9000-
17
.fc42
2.40.9000-
18
.fc42
3
libXt
1.3.
0
-4.fc41
1.3.
1
-1.fc42
3
pyproject-srpm-macros
1.16.
1
-1.fc42
1.16.
2
-1.fc42
3
glibc-common
2.40.9000-
17
.fc42
2.40.9000-
18
.fc42
3
glibc-minimal-langpack
2.40.9000-
17
.fc42
2.40.9000-
18
.fc42
3
cups-libs
1:2.4.11-
2
.fc42
1:2.4.11-
3
.fc42
3
coreutils
9.5-
10
.fc42
9.5-
11
.fc42
3
binutils
2.43.50-
5
.fc42
2.43.50-
7
.fc42
3
default-fonts-core-sans
4.2-
1
.fc42
4.2-
2
.fc42
3
python3-idna
3.
9
-1.fc42
3.
10
-1.fc42
3
annobin-plugin-gcc
12.
75
-1.fc42
12.
77
-1.fc42
3
glibc-devel
2.40.9000-
17
.fc42
2.40.9000-
18
.fc42
3
cups-filesystem
1:2.4.11-3.fc42
4
kernel-headers
6.12.0-
0
.rc7.58.fc42
6.12.0-
65
.fc42
4
annobin-docs
12.
75
-1.fc42
12.
77
-1.fc42
4
coreutils-common
9.5-
10
.fc42
9.5-
11
.fc42
4
openblas
0.3.
26
-5.fc41
0.3.
28
-1.fc42
B
mesa-filesystem
24.
2
.6-1.fc42
24.
3
.0~rc2-1.fc42
B
mesa-libglapi
24.
2
.6-1.fc42
24.
3
.0~rc2-1.fc42
B
gdb-minimal
15.2-
2
.fc42
15.2-
3
.fc42
B
mesa-libEGL
24.
2
.6-1.fc42
24.
3
.0~rc2-1.fc42
B
openblas-openmp
0.3.
26
-5.fc41
0.3.
28
-1.fc42
B
mesa-libGL
24.
2
.6-1.fc42
24.
3
.0~rc2-1.fc42
B
mesa-libgbm
24.
2
.6-1.fc42
24.
3
.0~rc2-1.fc42
B
perl-MailTools
2.
21
-17.fc41
2.
22
-1.fc42
B
mesa-dri-drivers
24.
2
.6-1.fc42
24.
3
.0~rc2-1.fc42
B
spirv-tools-libs
2024.3-4.fc42
B
libtirpc
1.3.6-
0
.rc1.fc42
1.3.6-
1
.fc42
B
show 20 more
collapse
