Build details

Build information

State
complete
Name
why3
Epoch
None
Version
1.8.0
Release
4.fc43
Started
2025-02-24 13:03:05
Finished
2025-02-24 13:19:31
Koji repo
6553057

Koji tasks

complete
aarch64
├129582013 closed
ppc64le
├129582015 closed
x86_64
└129582014 closed

Build logs

aarch64
ppc64le
x86_64

Dependency changes from previous build

emacs-nw
1:29.4-49.fc42
1:29.4-53.fc43
1
libzstd-devel
1.5.6-3.fc42
1.5.7-1.fc43
2
libzstd
1.5.6-3.fc42
1.5.7-1.fc43
2
emacs-common
1:29.4-49.fc42
1:29.4-53.fc43
2
libtree-sitter
0.24.7-2.fc42
0.25.2-3.fc43
2
poppler-glib
24.08.0-2.fc42
25.02.0-1.fc43
2
harfbuzz
10.2.0-2.fc42
10.3.0-1.fc43
2
glibc
2.40.9000-37.fc43
2.41.9000-1.fc43
2
glibc-common
2.40.9000-37.fc43
2.41.9000-1.fc43
3
glibc-devel
2.40.9000-37.fc43
2.41.9000-1.fc43
3
cups-libs
1:2.4.11-11.fc43
1:2.4.11-13.fc43
3
poppler
24.08.0-2.fc42
25.02.0-1.fc43
3
glibc-minimal-langpack
2.40.9000-37.fc43
2.41.9000-1.fc43
3
glibc-gconv-extra
2.40.9000-37.fc43
2.41.9000-1.fc43
3
emacsclient
1:29.4-49.fc42
1:29.4-53.fc43
3
cups-filesystem
1:2.4.11-11.fc43
1:2.4.11-13.fc43
4
fedora-release-identity-basic
43-0.4
43-0.5
B
mesa-libGL
25.0.0~rc3-2.fc43
25.0.0-1.fc43
B
harfbuzz-devel
10.2.0-2.fc42
10.3.0-1.fc43
B
mesa-libEGL
25.0.0~rc3-2.fc43
25.0.0-1.fc43
B
perl-Business-ISBN-Data
20250205.001-1.fc43
20250220.001-1.fc43
B
mesa-libgbm
25.0.0~rc3-2.fc43
25.0.0-1.fc43
B
harfbuzz-cairo
10.2.0-2.fc42
10.3.0-1.fc43
B
harfbuzz-icu
10.2.0-2.fc42
10.3.0-1.fc43
B
fedora-release
43-0.4
43-0.5
B
mesa-filesystem
25.0.0~rc3-2.fc43
25.0.0-1.fc43
B
zstd
1.5.6-3.fc42
1.5.7-1.fc43
B
fedora-release-common
43-0.4
43-0.5
B
mesa-dri-drivers
25.0.0~rc3-2.fc43
25.0.0-1.fc43
B