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
2024-12-29 13:14:58
Finished
2024-12-29 13:34:36
Koji repo
6539758
Koji tasks
complete
127368340
aarch64
├127368417
closed
ppc64le
├127368420
closed
x86_64
└127368419
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.
85
-2.fc41
4.
86
-1.fc41
1
libxml2
2.12.
8
-2.fc41
2.12.
9
-1.fc41
2
libwebp
1.
4
.0-4.fc41
1.
5
.0-1.fc41
2
libxcrypt
4.4.36-
11
.fc41
4.4.36-
12
.fc41
3
openjpeg
2.5.3-
1
.fc41
2.5.3-
2
.fc41
3
libxml2-devel
2.12.
8
-2.fc41
2.12.
9
-1.fc41
3
go-srpm-macros
3.6.0-
3
.fc41
3.6.0-
5
.fc41
3
libxcrypt-devel
4.4.36-
11
.fc41
4.4.36-
12
.fc41
4
setup
2.15.0-
5
.fc41
2.15.0-
8
.fc41
4
libwebp-devel
1.
4
.0-4.fc41
1.
5
.0-1.fc41
B
