Koschei
Collections
Packages
Groups
Stats
Log in
Search
Build details
Build information
State
complete
Name
why3
Epoch
None
Version
1.5.1
Release
8.fc38
Started
2024-02-03 11:42:53
Finished
2024-02-03 12:07:48
Koji repo
5791165
Koji tasks
complete
112870001
aarch64
├112870035
closed
ppc64le
├112870037
closed
x86_64
└112870036
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.
82
-1.fc38
4.
82a
-1.fc38
1
bash
5.2.
21
-1.fc38
5.2.
26
-1.fc38
2
python3-jinja2
3.
0
.3-7.fc38
3.
1
.3-1.fc38
2
systemd-libs
253.
14
-1.fc38
253.
15
-2.fc38
2
alternatives
1.
25
-1.fc38
1.
26
-1.fc38
2
glibc
2.37-
16
.fc38
2.37-
18
.fc38
2
ncurses-libs
6.4-
3
.20230114.fc38
6.4-
7
.20230520.fc38
2
atk
2.48.
3
-1.fc38
2.48.
4
-1.fc38
2
appstream-data
38-
6
.fc38
38-
7
.fc38
2
libssh
0.10.
5
-1.fc38
0.10.
6
-2.fc38
3
libcloudproviders
0.3.
2
-1.fc38
0.3.
5
-1.fc38
3
glibc-common
2.37-
16
.fc38
2.37-
18
.fc38
3
ncurses-base
6.4-
3
.20230114.fc38
6.4-
7
.20230520.fc38
3
at-spi2-core
2.48.
3
-1.fc38
2.48.
4
-1.fc38
3
libdrm
2.4.
117
-1.fc38
2.4.
120
-1.fc38
3
bubblewrap
0.
7
.0-1.fc38
0.
8
.0-1.fc38
3
gstreamer1
1.22.
8
-1.fc38
1.22.
9
-1.fc38
3
ansible-srpm-macros
1-
10
.fc38
1-
12
.fc38
3
gstreamer1-plugins-bad-free-libs
1.22.
8
-1.fc38
1.22.
9
-1.fc38
3
at-spi2-atk
2.48.
3
-1.fc38
2.48.
4
-1.fc38
3
tzdata
2023c
-1.fc38
2023d
-1.fc38
3
glibc-gconv-extra
2.37-
16
.fc38
2.37-
18
.fc38
3
glibc-devel
2.37-
16
.fc38
2.37-
18
.fc38
3
gstreamer1-plugins-base
1.22.
8
-1.fc38
1.22.
9
-1.fc38
3
glibc-minimal-langpack
2.37-
16
.fc38
2.37-
18
.fc38
3
libtirpc
1.3.4-0.
fc38
1.3.4-0.
rc2
.fc38
4
flexiblas-netlib
3.
3
.1-5.fc38
3.
4
.1-1.fc38
4
libaom
3.
7
.1-1.fc38
3.
8
.0-1.fc38
4
audit-libs
3.1.2-
5
.fc38
3.1.2-
6
.fc38
4
at-spi2-atk-devel
2.48.
3
-1.fc38
2.48.
4
-1.fc38
4
nspr
4.35.0-
13
.fc38
4.35.0-
14
.fc38
4
libcloudproviders-devel
0.3.
2
-1.fc38
0.3.
5
-1.fc38
4
publicsuffix-list-dafsa
20230812
-1.fc38
20240107
-1.fc38
4
glibc-headers-x86
2.37-
16
.fc38
2.37-
18
.fc38
4
libssh-config
0.10.
5
-1.fc38
0.10.
6
-2.fc38
4
atk-devel
2.48.
3
-1.fc38
2.48.
4
-1.fc38
4
nss
3.
95
.0-1.fc38
3.
96
.1-1.fc38
4
ncurses
6.4-
3
.20230114.fc38
6.4-
7
.20230520.fc38
B
nss-util
3.
95
.0-1.fc38
3.
96
.1-1.fc38
B
flexiblas
3.
3
.1-5.fc38
3.
4
.1-1.fc38
B
flexiblas-openblas-openmp
3.
3
.1-5.fc38
3.
4
.1-1.fc38
B
nss-sysinit
3.
95
.0-1.fc38
3.
96
.1-1.fc38
B
nss-softokn
3.
95
.0-1.fc38
3.
96
.1-1.fc38
B
perl-DateTime-TimeZone
2.
60
-1.fc38
2.
61
-1.fc38
B
perl-Module-CoreList
1:5.
20231129
-1.fc38
1:5.
20231230
-1.fc38
B
at-spi2-core-devel
2.48.
3
-1.fc38
2.48.
4
-1.fc38
B
hwdata
0.
377
-2.fc38
0.
378
-1.fc38
B
nss-softokn-freebl
3.
95
.0-1.fc38
3.
96
.1-1.fc38
B
show 38 more
collapse
complete