Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
why3
Epoch
None
Version
1.7.2
Release
9.fc41
Started
2025-01-12 13:23:43
Finished
2025-01-12 13:41:48
Koji repo
6542124
Koji tasks
complete
127798210
aarch64
├127798292
closed
ppc64le
├127798294
closed
x86_64
└127798293
closed
Build logs
aarch64
build.log
|
root.log
ppc64le
build.log
|
root.log
x86_64
build.log
|
root.log
Dependency changes from previous build
latexmk
4.
86
-1.fc41
4.
86a
-1.fc41
1
libXrender
0.9.
11
-7.fc41
0.9.
12
-1.fc41
2
python3-jinja2
3.1.
4
-5.fc41
3.1.
5
-1.fc41
2
systemd-libs
256.
10
-1.fc41
256.
11
-1.fc41
2
libcurl
8.9.1-
2
.fc41
8.9.1-
3
.fc41
2
pyproject-srpm-macros
1.16.
3
-1.fc41
1.16.
4
-1.fc41
3
libxcrypt
4.4.
36
-12.fc41
4.4.
37
-4.fc41
3
cups-libs
1:2.4.11-
8
.fc41
1:2.4.11-
9
.fc41
3
openssl-libs
1:3.2.2-
9
.fc41
1:3.2.2-
11
.fc41
3
libXrender-devel
0.9.
11
-7.fc41
0.9.
12
-1.fc41
4
tzdata
2024a
-9.fc41
2024b
-1.fc41
4
cups-filesystem
1:2.4.11-
8
.fc41
1:2.4.11-
9
.fc41
4
libxcrypt-devel
4.4.
36
-12.fc41
4.4.
37
-4.fc41
4
curl
8.9.1-
2
.fc41
8.9.1-
3
.fc41
4
svt-av1-libs
2.1.0-
2
.fc41
2.1.0-
4
.fc41
4
audit-libs
4.0.
2
-1.fc41
4.0.
3
-1.fc41
4
spirv-tools-libs
2024.3-3.fc41
B
perl-Module-CoreList
1:5.
20241120
-1.fc41
1:5.
20241220
-1.fc41
B
mesa-filesystem
24.
2
.8-1.fc41
24.
3
.2-2.fc41
B
xxhash-libs
0.8.
2
-4.fc41
0.8.
3
-1.fc41
B
mesa-libGL
24.
2
.8-1.fc41
24.
3
.2-2.fc41
B
mesa-libEGL
24.
2
.8-1.fc41
24.
3
.2-2.fc41
B
mesa-dri-drivers
24.
2
.8-1.fc41
24.
3
.2-2.fc41
B
hwdata
0.
390
-1.fc41
0.
391
-1.fc41
B
libedit
3.1-
53
.20240808cv...
3.1-
54
.20250104cv...
B
gdb-minimal
15.2-
3
.fc41
15.2-
4
.fc41
B
libtirpc
1.3.6-1.
fc41
1.3.6-1.
rc3
.fc41
B
libXxf86vm
1.1.
5
-7.fc41
1.1.
6
-1.fc41
B
mesa-libgbm
24.
2
.8-1.fc41
24.
3
.2-2.fc41
B
mesa-libglapi
24.
2
.8-1.fc41
24.
3
.2-2.fc41
B
show 20 more
collapse
